r158
El punto X(858) es el inverso del punto de Exeter en la circunferencia circunscrita.