Proof by infinite descent

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download:

Copy:
Download: