A Full proofs for Section 4