Neka je ABCDABCD tetivni četverokut takav da je ∣AD∣=∣BD∣|AD| = |BD| i neka je MM sjecište njegovih dijagonala. Nadalje, neka je NN drugo sjecište dijagonale AC‾\overline{AC} s kružnicom koja prolazi točkama BB, MM i središtem kružnice upisane trokutu BCMBCM.

Dokaži da vrijedi ∣AN∣⋅∣NC∣=∣CD∣⋅∣BN∣|AN| \cdot |NC| = |CD| \cdot |BN|.