Załóżmy, że liczby spełniają Równanie to można sprowadzić do postaci Ponieważ jest liczbą pierwszą, wynika stąd, że lub Pierwsza z tych możliwości oznaczałaby, że co przeczy zależności Musi być zatem skąd ; ponieważ liczby te są całkowite i faktycznie spełniają wymaganą równość.