Neka su A1A_1, B1B_1 i C1C_1 točke na opisanoj kružnici šiljastokutnog trokuta ABCABC takve da su AA1\overline{AA_1}, BB1\overline{BB_1} i CC1\overline{CC_1} promjeri te kružnice. Dokaži da vrijedi A1BB1B+B1CC1A=ACBC.|A_1B| \cdot |B_1B| + |B_1C| \cdot |C_1A| = |AC| \cdot |BC|.