Sea $ ABCD $ un cuadrilátero convexo sin un par de lados paralelos, tal que $ \angle ABC = \angle CDA $ . Suponga que las intersecciones de los pares de bisectrices de ángulos vecinos de $ ABCD $ forman un cuadrilátero convexo $ EFGH $ . Sea $ K $ la intersección de las diagonales de $ EFGH$ . Demuestre que las líneas $ AB $ y $ CD $ se intersecan en la circunferencia circunscrita del triángulo $ BKD $ .