Uwaga. O ile nie napisano inaczej, we wszystkich wskazówkach jest pewną liczbą pierwszą oraz

Wystarczy rozważyć tylko te liczby pierwsze które dzielą - zakładamy więc, że Zachodzi nierówność Zauważyć, że każda z nierówności: i prowadzi do sprzeczności, posługując się własnościami (2') i (5).