Proof by induction question - inductive step clarification?

Printable View