Let P be a point internal to ABC. The perpendicular bisector of BC cuts the circle {PBC} at two points; let A' be the one lying at the same side of BC than P. Define cyclically B', C'. The points P, A', B', C' are concyclic.