El punto $A$ está fuera de un círculo dado $\omega$. Sean las tangentes desde $A$ a $\omega$ que se encuentran con $\omega$ en los puntos $S, T$ los puntos $X, Y$ son los puntos medios de $AT, AS$ sea la tangente desde $X$ a $\omega$ que se encuentra con $\omega$ en $R\neq T$. Los puntos $P, Q$ son los puntos medios de $XT, XR$ sea $XY\cap PQ=K, SX\cap TK=L$ demuestra que el cuadrilátero $KRLQ$ es cíclico.