Dado o triângulo ABC e um ponto que não pertence a nenhum dos lados (nem aos seus prolongamentos) U, seja A' a intersecção de AU com BC, B' e C' definidos de forma semelhante. Seja X a intersecção de AB com A'B', Y a intersecção de AC com A'C' e Z a intersecção de BC com B'C'.

Então X, Y e Z são colineares.