A045_proofs