Еще раз о замечательной интуиции Ферма. Б. С. Кочкарев

Великий математик-самоучка Ферма имел обыкновение на полях своей книги Диофанта "Арифметика" формулировать без доказательства утверждения, которые оставались веками недоказанными. Так в 17 веке Ферма заметил, что все простые числа кроме 2 представимы в виде 4к + 1 и 4к - 1, где к - целое число. Простые числа, представимые в виде 4к + 1 он назвал простыми числами первого рода, а простые числа, представимые в виде 4к - 1 простыми числами второго рода. Относительно простых чисел первого рода и второго рода он сформулировал без доказательства утверждения, которые до сих пор не доказаны, но нам удалось их доказать с помощью нашей аксиомы спуска. Именно, оказалось, что простые числа первого рода являются суммой двух квадратов, а простые числа второго рода никогда таковыми не будут. С уважением, Б. С. Кочкарев