Proof Week 4 Homework