U trokutu ABCABC vrijedi ∣AB∣≠∣AC∣|AB| \neq |AC| i upisana kružnica dira stranice BC‾\overline{BC}, AC‾\overline{AC} i AB‾\overline{AB} redom u točkama DD, EE i FF. Okomica iz točke DD na pravac EFEF sijeće stranicu AB‾\overline{AB} u točki GG, a kružnice opisane trokutima AEFAEF i ABCABC se sijeku u točkama AA i TT.

Dokaži da su pravci TGTG i TFTF okomiti.