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.