Sea $ABCD$ un cuadrilátero convexo inscrito en una circunferencia de centro $O$ y tal que $AC$ es un diámetro de la circunferencia. Se construyen paralelogramos $DAOE$ y $BCOF$. Demostrar que si $E$ y $F$ están en la circunferencia, entonces $ABCD$ es un rectángulo.