HW Set 21: Proof 3