A Theorem Proofs