Legyen két egymást metsző kör $k_1$ és $k_2$, az egyik közös pontjukat jelölje $A$. A két kör egyik közös érintője $k_1$-et $P$-ben, $k_2$-t $Q$-ban, a másik közös érintő $k_1$-et $R$-ben, $k_2$-t $S$-ben érinti. Bizonyítsuk be, hogy a $PAQ$ és $RAS$ háromszögek körülírt körei érintik egymást.