Sea $ABCD$ un cuadrilátero cíclico inscrito en el círculo $O$ . Sea la tangente a $O$ en $A$ que se encuentra con $BC$ en $S$ , y la tangente a $O$ en $B$ que se encuentra con $CD$ en $T$ . El círculo con $S$ como su centro y pasando por $A$ se encuentra con $BC$ en $E$ , y $AE$ se encuentra con $O$ nuevamente en $F(\ne A)$ . El círculo con $T$ como su centro y pasando por $B$ se encuentra con $CD$ en $K$ . Sea $P = BK \cap AC$ . Demuestra que $P,F,D$ son colineales si y solo si $AB = AP$ .