Na stranici AC\overline{AC} trokuta ABCABC nalaze se točke DD i EE tako da je točka DD između CC i EE. Neka je FF sjecište kružnice opisane trokutu ABDABD s pravcem koji prolazi kroz točku EE i paralelan je s BCBC tako da se točke EE i FF nalaze s različitih strana pravca ABAB. Neka je GG sjecište kružnice opisane trokutu BCDBCD s pravcem koji prolazi kroz točku EE i paralelan je s ABAB tako da se točke EE i GG nalaze s različitih strana pravca BCBC.

Dokaži da točke DD, EE, FF i GG leže na istoj kružnici.