a=b+1a=b+1a=b+1 とおく。b−1>1b-1>1b−1>1 のとき、b−1b-1b−1 の任意の素因数は p<=b−1<sqrt(n)p<=b-1<sqrt(n)p<=b−1<sqrt(n) を満たすため、b(b+1)b(b+1)b(b+1) を割る。ppp は bbb を割れないので b+1b+1b+1 を割り、したがって 222 を割る。よって b−1b-1b−1 の素因数は 222 だけである。b>=3b>=3b>=3 なら bbb は奇数で、b+2<=sqrt(2b2+2b+1)=sqrt(n)b+2<=sqrt(2b^2+2b+1)=sqrt(n)b+2<=sqrt(2b2+2b+1)=sqrt(n)。b+2b+2b+2 の素因数は b(b+1)b(b+1)b(b+1) を割るはずだが、gcd(b+2,b)=gcd(b+2,b+1)=1gcd(b+2,b)=gcd(b+2,b+1)=1gcd(b+2,b)=gcd(b+2,b+1)=1 なので不可能である。したがって b<=2b<=2b<=2。