A Omitted proofs