Method of infinite descent
Redirect to:
Proof by infinite descent