Доказательства геометрических теорем: диагонали прямоугольника