Правая часть при делении на должна давать тот же остаток, что и левая, то есть Поэтому чётно. Аналогично, левая часть делится на с остатком поэтому тоже чётно. Итак,

Обе скобки справа являются степенями двойки. Пусть и где и Тогда,

Отсюда Значит, делится на Тогда четное, но не делится на поскольку нечетное целое число. Таким образом и Поскольку четное число, тоже чётно, Тогда

 – произведение двух чисел, отличающихся на и являющихся степенями тройки. Следовательно, эти множители это и Значит,