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

В 17 -ом веке Ферма заметил без доказательства, что все простые числа кроме 2 подразделяются на простые числа первого рода, которые являются суммами двух квадратов и простые числа второго рода, которые никогда суммами двух квадратов не будут. Мы это замечание Ферма полностью доказали в статье "Проблема близнецов и другие бинарные проблемы".