Теорема. Кочкарев Б. С.

Любое простое число первого рода по классификации Ферма является суммой двух квадратов.