A Omitted Proofs