Theorem-Informal-proof

Theorem
Proof Outline

proof: