proofs

April 19, 2011