Neka je AD‾\overline{AD} visina šiljastokutnog trokuta ABCABC. Na pravcu ADAD nalaze se međusobno različite točke EE i FF takve da vrijedi ∣DE∣=∣DF∣|DE| = |DF| i pritom je točka EE u unutrašnjosti trokuta ABCABC. Kružnica opisana trokutu BEFBEF siječe dužine BC‾\overline{BC} i AB‾\overline{AB} redom u točkama KK i MM. Kružnica opisana trokutu CEFCEF siječe dužine BC‾\overline{BC} i CA‾\overline{CA} redom u točkama LL i NN.

Dokaži da se pravci ADAD, KMKM i LNLN sijeku u jednoj točki.