Let A'B'C' be the reflection of the pedal triangle of P on its circumcenter Op. Then AA', BB', CC' concur.