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?