U trokutu ABCABC vrijedi ABAC|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.