De Anza College - Proofs