Sean $A,B$ y $C$ tres puntos en una línea con $B$ entre $A$ y $C$. Sean $\Gamma_1,\Gamma_2, \Gamma_3$ semicírculos, todos en el mismo lado de $AC$ y con $AC,AB,BC$ como diámetros, respectivamente. Sea $l$ la línea perpendicular a $AC$ que pasa por $B$. Sea $\Gamma$ el círculo que es tangente a la línea $l$, tangente a $\Gamma_1$ internamente y tangente a $\Gamma_3$ externamente. Sea $D$ el punto de contacto de $\Gamma$ y $\Gamma_3$. El diámetro de $\Gamma$ a través de $D$ se encuentra con $l$ en $E$. Demuestre que $AB=DE$.