Sea $ABCD$ un cuadrilátero cíclico con lados opuestos no paralelos. Sean $X$ e $Y$ las intersecciones de $AB,CD$ y $AD,BC$ respectivamente. Sea la bisectriz del ángulo $\angle AXD$ que interseca a $AD,BC$ en $E,F$ respectivamente, y sean las bisectrices del ángulo $\angle AYB$ que intersecan a $AB,CD$ en $G,H$ respectivamente. Pruebe que $EFGH$ es un paralelogramo.