A Proofs 506 A.1 Proof of Theorem