Sigui L una recta, P el seu ortopol, PC, PA, PB els ortopols de L respecte PAB, PBC, PCA. Llavors P, PA, PB i PC estan alineats.