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