Chet's Proofs