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

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