El ortopolo de una recta r que pasa por el circuncentro O está en la circunferencia de los 9 puntos cn.