O_1, O_2, O_3 három r sugarú, egymást érintő kör középpontja, melyek az m egyenesen vannak.
l egyenes átmegy az O_2 ponton, és érinti a másik két kört. Az O középpontú, r' sugarú kör
érinti az O1, O_3 köröket, és az l egyenesből kimetszi a P és Q pontokat.
Igazoljuk, hogy PQ = r' + 3 r !