$AA'BCC'B'$ es un hexágono convexo cíclico tal que $AC$ es tangente a la incírculo del triángulo $A'B'C'$, y $A'C'$ es tangente al incírculo del triángulo $ABC$. Las líneas $AB$ y $A'B'$ se intersecan en $X$ y las líneas $BC$ y $B'C'$ se intersecan en $Y$. Demuestra que si $XBYB'$ es un cuadrilátero convexo, entonces tiene un incírculo.