Sea $ABCD$ un cuadrilátero cíclico. Sean $DA$ y $BC$ que se intersecan en $E$ y sean $AB$ y $CD$ que se intersecan en $F$ . Asuma que $A, E, F$ están todos en el mismo lado de $BD$ . Sea $P$ en el segmento $DA$ tal que $\angle CPD = \angle CBP$ , y sea $Q$ en el segmento $CD$ tal que $\angle DQA = \angle QBA$ . Sea $AC$ y $PQ$ que se encuentran en $X$ . Demostrar que, si $EX = EP$ , entonces $EF$ es perpendicular a $AC$ .