Let P be a point, A' the second intersection between AP and the circle {PBC}, A” the contact point between the A'-Mannheim circle of {A'BC} and {A'BC}. Define analogously B', C', B”, C”. The points P, A”, B”, C” are concyclic.