Really hard induction proof.

Printable View