Sean K el simediano, O el circuncentro; Oa, Ob, Oc los circuncentros de KBC, KCA, KAB. Las rectas OA, OB, OC bisectan los segmentos ObOc, OcOa, OaOb respectivamente.