Proof Week 6 Homework