Доказательство замечания Ферма о простых числах. Кочкарев Б. С.

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