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

AP+BPAB=BP+CPBC=CP+APCA.\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,CA', B', C'. Dokaži da trokuti ABCABC i ABCA'B'C' imaju zajedničku upisanu kružnicu.