sea $\omega_1$ un círculo con $O_1$ como su centro, sea $\omega_2$ un círculo que pasa por $O_1$ con centro $O_2$ sea $A$ una de las intersecciones de $\omega_1$ y $\omega_2$ sea $x$ una línea tangente a $\omega_1$ que pasa por $A$ sea $\omega_3$ un círculo que pasa por $O_1,O_2$ con su centro en la línea $x$ e intersecta a $\omega_2$ en $P$ (no $O_1$ ) prueba que la reflexión de $P$ a través de $x$ está en $\omega_1$