Sea $ABCDE$ un pentágono convexo tal que $BC \parallel AE,$ $AB = BC + AE,$ y $\angle ABC = \angle CDE.$ Sea $M$ el punto medio de $CE,$ y sea $O$ el circuncentro del triángulo $BCD.$ Dado que $\angle DMO = 90^{\circ},$ pruebe que $2 \angle BDA = \angle CDE.$