
натуральное число, тогда
будет натуральным и нечётным числом. Возведем данное число в квадрат:

, 0 делиться на 8, следовательно условие выполняется.
. Докажем что данное число делиться на 8 при
:
делиться на 8. Следовательно, существует натуральный
так что:
следовательно, при
данное число тоже делиться на 8. Ч.Т.Д.