Об одном замечании Ферма о простых числах. Кочкарев Б. С.

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