A Omitted proofs of Section 3

Open in new window