Sigui P un punt. Una recta r talla els costats BC, CA, AB a X, Y, Z. Les paral·leles a CP per Y i a BP per Z es tallen a X1. Definim anàlogament Y1, Z1. Llavors P, X1, Y1 i Z1 estan alineats.