Метод спуска, индукция и последовательное конструирование в ТЧ

Покажем, что пара чисел удовлетворяет необходимым условиям при всех простых где — фиксированное натуральное число.

Заметим, что следовательно

поскольку число — нечетно.

Таким образом осталось проверить, что кратно Покажем, что кратно По теореме Вильсона число является целым. Покажем, что каждое из чисел не превосходит Действительно — верно. Так же

верно при Наконец, кратно кратно следовательно кратно что завершает доказательство.