Se dan tres círculos $S, S_1, S_2$ en un plano. $S_1$ y $S_2$ son tangentes entre sí externamente, y ambos son tangentes internamente a $S$ en $A_1$ y $A_2$ respectivamente. La tangente interna común a $S_1$ y $S_2$ corta a $S$ en $P$ y $Q$. Sean $B_1$ y $B_2$ las intersecciones de $PA_1$ y $PA_2$ con $S_1$ y $S_2$, respectivamente. Demuestre que $B_1B_2$ es una tangente común a $S_1$ y $S_2$.