Есть очень известная теорема Ферма-Эйлера, вот её формулировка:
Нечётное простое число представимо в виде суммы квадратов двух натуральных чисел тогда и только тогда, когда оно имеет вид
4k + 1 где k - нат. число.
Пусть наши числа х и y. Тогда по этой теореме
х = 4m + 1 , y = 4n + 1 (где n, m - нат. числа)
Рассмотрим произведение чисел х и y
хy = (4m + 1)(4n + 1) = 16mn + 4m + 4n + 1 = 4*(4mn + m + n) + 1 =>
обозначив выражение 4mn + m + n чрез некое натуральное число q имеем
хy = 4q + 1
тогда по этой же теореме произведение хy представимо в виде суммы квадратов двух натуральных чисел..