Ugh, another inductive proof

Printable View