Sea P un punto, r una recta por P, A' la intersección de r y BC. Tomemos A" en r tal que A'P = PA", y definimos análogamente B", C". Entonces AA", BB", CC" concurren.