Inductive proof help

Printable View