L'ortopol d'una recta r que passa pel circumcentre O està a la circumferència dels 9 punts cn.