Az $O$ középpontú $k_j$ körnek ($j=1$, $2$) egy adott $i$ iránnyal párhuzamos $e_j$ érintőjét egy, az $O$-ből induló félegyenes $E_j$-ben metszi, és az itt $i$-re állított merőleges $f_j$. Egy, az $O$-ból induló további félegyenes $k_j$-t $P_j$-ben, az ezen át $i$-vel párhuzamosan húzott egyenes $f_j$-t $Q_j$-ben metszi. Bizonyítandó, hogy a $Q_1{Q}_2$ egyenes átmegy $O$-n.