Sea $ABCD$ un trapecio, $AD\parallel BC$ , y sean $E,F$ puntos sobre los lados $AB$ y $CD$ , respectivamente. La circunferencia circunscrita de $AEF$ corta a $AD$ nuevamente en $A_1$ , y la circunferencia circunscrita de $CEF$ corta a $BC$ nuevamente en $C_1$ . Demuestre que $A_1C_1,BD,EF$ son concurrentes.