Az $A$, $B_1$, $B_2$, $B_3$, $C_1$, $C_2$, $C_3$ pontok ebben a sorrendben egy egyenesen vannak. Az egyenes egyik oldalán, az egyenesre merőlegesen rajzoljuk meg a $B_i$ pontból induló $b_i$ félegyeneseket és az $A{C}_i$ átmérőjű $c_i$ félköröket ($i=\mathrm{1,2,3}$). Igazoljuk, hogy ha a $b_1$, $c_1$, $b_2$, $c_2$ görbék által határolt tartományba és a $b_2$, $c_2$, $b_3$, $c_3$ által határolt tartományba egy-egy kört lehet írni, akkor a $b_1$, $c_1$, $b_3$, $c_3$ által határolt tartományba is kört lehet írni.