Об одном разбиении отрезка, применяемом для оценки энтропии

В работе изучается разбиение отрезка, которое строится по следующему правилу:
$$
\begin{array}{l} Q_1 =\{0,q^2,q,1\}. \\ Q_{n+1}' = qQ_n \cap q^2Q_n, \quad Q_{n+1}'' = q^2+qQ_n \cap qQ_n, \quad Q_{n+1}'''= q^2+qQ_n \cap q+q^2Q_n, \\ Q_{n+1} = Q_{n+1}'\cup Q_{n+1}'' \cup Q_{n+1}''', \end{array}
$$
где $q^2+q=1$.
Введем последовательность чисел $d= 1,2,1,0,1,2,1,0,1,0,1,2,1,0,1,2,1,\dots$, положив
$$
\begin{array}{l} d_1=1, \ d_2=2,\ d_4 =0; \\ d[2F_{2n}+1 : 2F_{2n+1}+1] = d[1:2F_{2n-1}+1];\\ \quad n = 0,1,2,\dots;\\ d[2F_{2n+1}+2 : 2F_{2n+1}+2F_{2n-2}] = d[2F_{2n-1}+2:2F_{2n}];\\ d[2F_{2n+1}+2F_{2n-2}+1 : 2F_{2n+1}+2F_{2n-1}+1] = d[1:2F_{2n-3}+1];\\ d[2F_{2n+1}+2F_{2n-1}+2 : 2F_{2n+2}] = d[2F_{2n-1}+2:2F_{2n}];\\ \quad n = 1,2,3,\dots;\\ \end{array}
$$
где $F_n$ — числа Фибоначчи ($F_{-1} = 0$, $F_0=F_1=1$).
Основной результат работы.
Теорема.
\begin{gather*} Q_n' = 1 - Q_n''' =\left \{ \sum_{i=1}^k q^{n+d_i}, \ k=0,1,\dots, m_n\right\}, \\ Q_n'' = 1 - Q_n'' = \left\{q^2 + \sum_{i=m_n}^k q^{n+d_i}, k=m_n-1,m_n,\dots, m_{n+1} \right\}, \end{gather*}
где $m_{2n} = 2F_{2n-2}$, $m_{2n+1} = 2F_{2n-1}+1$.