Sea X el punto X(155). Existe una circunferencia centrada en X que corta las rectas de los lados en dos puntos cada una que forman ángulos rectos con el vértice opuesto.