Extremely difficult induction proof problem

Printable View