ВЕЛИКИЕ МАТЕМАТИКИ ПРОШЛОГО И ИХ ВЕЛИКИЕ ТЕОРЕМЫ 3 показывает, что произведение чисел, представимых в виде суммы четырех квадратов, тоже представимо в этом виде. ... Пусть р нечетное простое число. ... Рассмот2 p -1 2 2 2 рим числа 0 , 1 , 2 , .. 2 Если какие-то два из них дают один и тот же остаток при делении на р, 2 2 т.е. если x y mod p , где бесконечного спуска: предположим, что m > 1, и докажем, что в таком случае m не наименьшее. ... 2 то n 0 mod m , так что n = ml, где l натуральное число. ...