Какой математик установил, что квадрат длины гипотенузы в прямоугольном треугольнике равен сумме квадратов длин катетов?