 Intuitively, it states that every non-constant holomorphic function is locally a polynomial.Let formula_1 and formula_2 be Riemann surfaces, and let formula_3 be a non-constant holomorphic map.Fix a point formula_4 and set formula_5.