The pedal triangle PaPbPc of P is homothetic to the triangle A'B'C' bounded by the Simson lines of the vertices of the circumcevian triangle CaCbCc of P.