Dan je šiljastokutni trokut ABCABC u kojem je AB<AC|AB| < |AC|. Točka DD je polovište kraćeg luka BC^\widehat{BC} njegove opisane kružnice. Točka II je središte njegove upisane kružnice, a točka JJ je osnosimetrična točki II u odnosu na pravac BCBC. Pravac DJDJ siječe opisanu kružnicu trokuta ABCABC u točki EE koja pripada luku AB^\widehat{AB}.

Dokaži da vrijedi AI=IE|AI| = |IE|.