Sea $ABC$ un triángulo acutángulo con circuncírculo $\Gamma$. Sea $\ell$ una línea tangente a $\Gamma$, y sean $\ell_a, \ell_b$ y $\ell_c$ las líneas obtenidas al reflejar $\ell$ en las líneas $BC$, $CA$ y $AB$, respectivamente. Demuestre que el circuncírculo del triángulo determinado por las líneas $\ell_a, \ell_b$ y $\ell_c$ es tangente al círculo $\Gamma$.