Sean P un punto y r una recta; A', B', C' las intersecciones de r con los lados; A" la segunda intersección de PA' y la circunferencia {PBC}, y definimos análogamente B", C". Entonces los cuatro puntos P, A", B", C" son concíclicos.