A Proofs for Section 3