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 ANNC=CDBN|AN| \cdot |NC| = |CD| \cdot |BN|.