Jednakokračni trokut ABCABC (AB=AC|AB| = |AC|) upisan je u kružnicu kk. Neka je DD točka na osnovici BC\overline{BC} tog trokuta, k1k_1 kružnica opisana trokutu ABDABD i EE točka na kružnici k1k_1. Pretpostavimo da pravac AEAE siječe kružnicu kk u točkama AA i FF tako da FF leži između AA i EE. Ako se pravci DEDE i BFBF sijeku u točki GG, dokaži da vrijedi EG=GF|EG| = |GF|.