A Proofs 421 A.1 Proof of Theorem 4.5