A Theorem proofs