Proof Week 10 Homework