implies such that .

Multiply both sides by , getting:

, so

, so

.

Thus , where .

Thus divides in .

But that's impossible because has no solution in .

(In detail, if , then , so

implies implies .)

Therefore .

$$$$$$$$$$$$$$$$$$$$$$

There's a tiny mistake in the proof of Proposition1. It should read "by the Well Ordering of ".