Теорема. Для любого простого числа 4к - 1 второго рода найдется наименьший квадрат n > 4k - 1.

Мы эту теорему доказали в дзене и вместе с ней свойство простых чисел второго рода 4к - 1 никогда не быть суммой двух квадратов. С уважением, Б. С. Кочкарев