Достатъчно е всичко в уравнението да се вземе по mod 11 и ще се получи противоречие в равенството. Трябва да се използва, че квадратичните остатъци по mod 11 са 0,1,4,9,5,3.
Имаме, че числото

се дели на 91. По mod 91 имаме

,

и

. Така получаваме, че числото
)
, се дели на 91. Оттук, понеже c е цифра, следва че c=1. Така откриваме, че ако това число дава 9 остатък при деление с 91, то c=1. Едновременно доказахме и обратното - ако c=1, то

дава остатък 9 при деление с 91.
=(2^6-1)(2^6+1)=2*9*7*5*13)
. Ако n не се дели на k за k=2,5,7,13, то

се дели, понеже
|12)
за тези k. Ако n не се дели на 3, то понеже
=6|12)
, то

.
Ако n се дели на 3, но не и на 9, то 9 не дели
)
, понеже не можем да приложим теоремата на Ойлер. Ако n се дели 9 обаче твърдението на задачата е вярно. Излиза,

не се дели на
)
само ако n се дели на 3, но не и на 9.