Proof

Proof of Theorem 1 and Corollary 1 in 2021 ICC submission

Proof.pdf