Let A'B'C' be the circumcevian triangle of P; K, K' the symmedians of ABC and A'B'C'. Then K, K' and P are collinear.