I know that the solution to this problem is in the back of the book, but I still can't quite follow the logic. What would the proper inductive step look like?
