Proof Week 1 Homework