Pretpostavimo da je PP točka unutar trokuta ABCABC takva da vrijedi

∣AP∣+∣BP∣∣AB∣=∣BP∣+∣CP∣∣BC∣=∣CP∣+∣AP∣∣CA∣.\frac{|AP| + |BP|}{|AB|} = \frac{|BP| + |CP|}{|BC|} = \frac{|CP| + |AP|}{|CA|}.

Neka pravci AP,BP,CPAP, BP, CP ponovno sijeku trokutu ABCABC opisanu kružnicu redom u točkama A′,B′,C′A', B', C'. Dokaži da trokuti ABCABC i A′B′C′A'B'C' imaju zajedničku upisanu kružnicu.