Пусть

простое,

. Восемь различных точек из

лежат на окружности с диаметром

. Доказать, что найдётся треугольник с вершинами в трёх из данных точек такой, что квадраты длин сторон треугольника --- целые числа, кратные

.
P.S. Это перевод, а не решение.
