Sea $ABCC_1B_1A_1$ un hexágono convexo tal que $AB=BC$, y suponga que los segmentos de línea $AA_1, BB_1$ y $CC_1$ tienen la misma bisectriz perpendicular. Sean las diagonales $AC_1$ y $A_1C$ se encuentran en $D$, y denotemos por $\omega$ el círculo $ABC$. Sea $\omega$ intersecta al círculo $A_1BC_1$ nuevamente en $E \neq B$. Demuestra que las líneas $BB_1$ y $DE$ se intersecan en $\omega$.