A Proofs