Sigui G el baricentre d'ABC, Oa el circumcentre de BCG. Definim anàlogament Ob i Oc. El triangle OaObOc és homotètic al triangle pedal del simedià K.