A Proofs for Section 4