La perpendicular per A a AB talla BC en  Ca, i la perpendicular a AC el talla en Ba. Anàlogament es defineixen Ac, Bc, Cb i Ab. Siguin Ma, Mb, Mc els punts mitjans de BaCa, CbAb, AcBc. Siguin La, Lb, Lc els punts mitjans de AbAc, BcBa, CaCb. Llavors MaLa, MbLb i McLc són concurrents.