Доказательство замечания Ферма о простых числах вида 4к + 1 и 4к - 1

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