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