Project 3 - Bonus questions: using theorems from Lecture

In the lecture of chapter 12 Guy proves the theorems on slides number 28 & 29
may we use those theorems on the bonus questions without proving them again?

Please add a copy of these slides to your question.

What would be the point in reproving the theorems?