r1151
El cociente ceviano del ortocentro H entre el punto X(125) es el punto X(523).