A new proof of Nishioka's theorem in Mahler's method (Q6049256)

Let \(q\geq 2\) and \(m\) be a positive integers. We say that a power series \(f(z)\in\overline{\mathbb Q} \llbracket z\rrbracket\) is the \(M_q\)-function if \(\sum_{j=0}^m p_j(z)f(z^{q^j})=0\) where \(p_j(z)\in \overline{\mathbb Q}[z]\), \(j=0,\dots ,m\) are not all equal zero. Let \(f_1(z),\dots ,f_m(z)\in \overline{\mathbb Q} \llbracket z\rrbracket\) be \(M_q\)-functions such that \begin{displaymath} \left ( \begin{array}{c} f_1(z)\\ \vdots \\ f_m(z) \end{array} \right ) =A(z) \left ( \begin{array}{c} f_1(z^q)\\ \vdots \\ f_m(z^q) \end{array} \right ) \end{displaymath} where \(A_(z)\in GL_m(\overline{\mathbb Q}(z))\), and let \(\alpha\in\overline{\mathbb Q}\), \(0<\mid \alpha\mid <1\), be regular with respect to this system. Let \(L\in \overline{\mathbb Q} [X_1,\dots ,X_m]\) be a linear form such that \(L(f_1(\alpha),\dots ,f_m(\alpha))=0\). Then, there exists \(\overline L\in \overline{\mathbb Q} [z,X_1,\dots ,X_m]\), linear in \(X_1,\dots ,X_m\), such that \(\overline L(z,f_1(z),\dots ,f_m(z))=0\) and \(\overline L(\alpha, X_1,\dots ,X_m)= L(X_1,\dots ,X_m)\).