Siegel–Shidlovsky theorem

Let a vector of E-functions satisfy $f^{\prime }=A(z)f$ with $A\in {\mathrm{Mat}}_s(\overline{\mathbb{Q}}(z))$. At a nonzero algebraic point $\xi$ which is not a pole of $A$, the transcendence degree of the values over $\overline{\mathbb{Q}}$ equals the transcendence degree of the functions over $\overline{\mathbb{Q}}(z)$. In particular algebraically independent functions give algebraically independent values. The exponential system $f_j=e^{{\gamma }_{j}z}$, for rationally independent algebraic ${\gamma }_j$, recovers the Lindemann–Weierstrass theorem by evaluating at one.