A Omitted proofs of Section 3