Adott a síkban két különböző sugarú kör, $k_1$ és $k_2$, és a körökön kívül fekvő $O$ pont. Az $O$-ból $k_1$-hez húzott érintők végpontjai $P$ és $Q$, az $O$-ból $k_2$-hez húzott érintők végpontjai $R$ és $S$. A $P$, $Q$, $R$, $S$ pontok különbözők. Legyen a $k_1$ és $k_2$ külső hasonlósági pontja $H$. Igazoljuk, hogy ha a $PR$ egyenes nem a két kör valamelyik külső közös érintője, de átmegy $H$-n, akkor $QS$ is átmegy $H$-n.