a>ba>ba>b かつ a−b>1a-b>1a−b>1 と仮定し、a−ba-ba−b の素因数 ppp を取る。p<=a−b<sqrt(a2+b2)=sqrt(n)p<=a-b<sqrt(a^2+b^2)=sqrt(n)p<=a−b<sqrt(a2+b2)=sqrt(n) なので仮定より p∣abp | abp∣ab である。したがって ppp は aaa または bbb を割り、さらに p∣(a−b)p | (a-b)p∣(a−b) だから、ppp は両方を割る。これは gcd(a,b)=1gcd(a,b)=1gcd(a,b)=1 に反するので、a−b=1a-b=1a−b=1 である。