Sea $ABCD$ un cuadrilátero cíclico. Sean $DA$ y $BC$ se intersecan en $E$ y sean $AB$ y $CD$ se intersecan en $F$. Asuma que $A, E, F$ yacen 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$. Sean $AC$ y $PQ$ se intersecan en $X$. Demuestre que, si $EX = EP$, entonces $EF$ es perpendicular a $AC$.