қатынасын аламыз. Басқа жағынан Бернулли теңсіздігіне сүйеніп,
теңсіздігін аламыз. Алынған қайшылық бастапқы теңдеудің шешімі жоқ екенін дәлелдейді.
(mod 
), 
шығады. 
және 
теңдеуінің бүтін сандар жиынында шешімі жоқ екенін дәлелдеу керек.