A Omitted Statements and Proofs