Sea $I = (0, 1]$ el intervalo unidad de la recta real. Para un número dado $a \in (0, 1)$ definimos una función $T : I \to I$ mediante la fórmula si \[ T (x, y) = \begin{cases} x + (1 - a),&\mbox{ si } 0< x \leq a,\ \text{ } \ x - a, & \mbox{ si } a < x \leq 1.\end{cases} \] Demuestre que para cada intervalo $J \subset I$ existe un entero $n > 0$ tal que $T^n(J) \cap J \neq \emptyset.$