Теорема. Если а целое число, то а в кубе + 5а является кратным 6. Кочкарев Б. С.

Эту теорему мы доказали, используя нашу аксиому спуска. Можно убедиться что утверждение верно для а = 1, 2, 3 Далее предполагаем утверждение справедливым для достаточно большого а, а для а + 1 предположим оно не верно. Тогда по аксиоме спуска оно не верно и для а, а это противоречит индуктивному предположению. Полученное противоречие доказывает наше утверждение. С уважением, Б. С. Кочкарев