For HW 1, Question 2, when doing the inductive step, you will probably
want to keep the Phi and phi terms around rather than replacing them
with their formulae until you get down to the very last steps of math.

Web Accessibility