Sea $\Gamma$ un círculo, y sea $ABCD$ un cuadrado que se encuentra dentro del círculo $\Gamma$ . Sea $\mathcal{C}_a$ un círculo tangente interiormente a $\Gamma$ , y también tangente a los lados $AB$ y $AD$ del cuadrado, y también que se encuentra dentro del ángulo opuesto de $\angle BAD$ . Sea $A'$ el punto de tangencia de los dos círculos. Defina de manera similar los círculos $\mathcal{C}_b$ , $\mathcal{C}_c$ , $\mathcal{C}_d$ y los puntos $B',C',D'$ respectivamente. Demuestre que las líneas $AA'$ , $BB'$ , $CC'$ y $DD'$ son concurrentes.