Egy konvex négyszög egymás utáni oldalainak hossza $a$, $b$, $c$, $d$, átlóié $e$ és $f$, a köztük levő egyik szög $\phi$. Bizonyítandó, hogy ha $ac-bd=ef\text{cos}\phi$, akkor a négyszögbe kör írható.