Sigui P un punt de la recta que uneix l'ortocentre H i el simedià K. Siguin Ua i Va els ortopols de CA i AB respecte BCP. Anàlogament es defineixen Ub i Vb, Uc i Vc. Llavors els triangles UaUbUc i VaVbVc tenen la mateixa àrea.