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 ∣A1B∣⋅∣B1B∣+∣B1C∣⋅∣C1A∣=∣AC∣⋅∣BC∣.|A_1B| \cdot |B_1B| + |B_1C| \cdot |C_1A| = |AC| \cdot |BC|.