Proof Week 9 Homework