On roots of polynomials with power series coefficients
We give a deepened version of a lemma of Gabrielov and then use it to prove the following fact: if h ∈ 𝕂[[X]] (𝕂 = ℝ or ℂ) is a root of a non-zero polynomial with convergent power series coefficients, then h is convergent.