Шелковый путь олимпиада по математике 2003 года | Казахстанские олимпиады

Пусть $0 < a < b < 1$ являются действительными числами и

Положим, что для некоторого натурального числа $n$ найдутся $n + 1$ действительных чисел $0 < x_0 < x_1 < \ldots < x_n < 1$ таких, что $g^n(x_i)=x_i$ для $0 \le i \le n$. Докажите, что существует натуральное число $N$ такое, что $g^N(x)=x$ для всех $0 < x < 1$. (Обозначение: $g^k(x) = \underbrace{g(g(\ldots(g}_{k \text{ раз}}(x))\ldots))$).