Sean P un punto, A' la segunda intersección de AP con {PBC}, A” el punto de contacto de la A'-circunferencia de Mannheim de A'BC con {A'BC}. Definimos análogamente B', C', B”, C”. Los puntos P, A”, B”, C” son concíclicos.