Если натуральное число n, представимое в виде 4к + 1, где к - целое число, является суммой двух квадратов, то это число n является простым. Доказательство.