Sea $B$ un punto en un círculo $S_1$, y sea $A$ un punto distinto de $B$ en la tangente a $S_1$ en $B$. Sea $C$ un punto que no está en $S_1$ tal que el segmento de línea $AC$ se encuentra con $S_1$ en dos puntos distintos. Sea $S_2$ el círculo que toca a $AC$ en $C$ y que toca a $S_1$ en un punto $D$ en el lado opuesto de $AC$ desde $B$. Pruebe que el circuncentro del triángulo $BCD$ se encuentra en la circunferencia del triángulo $ABC$.