Sea A'B'C' el simétrico del triángulo pedal de P en su circuncentro Op. Entonces AA', BB', CC' concurren.