Sea $ABCD$ un cuadrilátero convexo con $BA\neq BC$. Denotemos los incírculos de los triángulos $ABC$ y $ADC$ por $ \omega_{1}$ y $ \omega_{2}$ respectivamente. Suponga que existe un círculo $ \omega$ tangente al rayo $BA$ más allá de $A$ y al rayo $BC$ más allá de $C$, que también es tangente a las líneas $AD$ y $CD$. Demuestre que las tangentes externas comunes a $ \omega_{1}$ y $ \omega_{2}$ se intersecan en $ \omega$.