Sigui P un punt, r una recta per P, A' la intersecció de r i BC. Prenem A" en r tal que A'P = PA", i definim anàlogament B", C". Llavors AA", BB", CC" són concurrents.