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

Простые числа, представимые в виде 4к - 1, где к - целое число, Ферма назвал простыми числами второго рода. Он заметил без доказательства, что такие числа никогда не будут суммами двух квадратов. Используя нашу аксиому спуска, введенную в статье "К методу спуска Ферма", мы это утверждение доказали. Прошу читателей высказать комментарии. С уважением, Б. С. Кочкарев