Proofs page 1a.pdf