AH - Proofs