Proof by Infinite Descent

Proof by Infinite Descent