quick question about inductive proof

Printable View