U trokutu ABCABC s težištem TT i središtem opisane kružnice OO vrijedi OT⊥ATOT \perp AT. Neka je A′A' drugo sjecište pravca ATAT i kružnice opisane trokutu ABCABC. Neka je točka DD sjecište pravaca BA′BA' i ACAC, a točka EE sjecište pravaca CA′CA' i ABAB. Dokaži da središte kružnice opisane trokutu ADEADE leži na opisanoj kružnici trokuta ABCABC.