Алгоритм определения,что простое число, представимое в виде 4к + 1 является суммой двух квадратов. Кочкарев Б. С.

Алгоритм состоит в вычитании из простого числа последовательных квадратов 1, 4, 9, ... и проверке того, что полученное число является квадратом. Как только это случится, это будет доказательством.

С уважением, Б.С. Кочкарев