Add proofs for question 1.