Имеем:

, видим,

- нечётно, значит

. Тогда


. Пусть теперь

, имеем:

.
Из такого представления очевидно, что любой простой множитель, содержащийся в разложении

, не входит в разложение оставшейся части, то есть

, а значит,

есть точный квадрат (либо

). Аналогично получаем, что

так же квадрат (либо

). Отсюда легко получаем

.