That is, a holomorphic function f has derivatives of every order at each point a in its domain, and it coincides with its own Taylor series at a in a neighbourhood of a.
É dicir, unha función holomorfa f ten derivadas de calquera orde en cada punto a do seu dominio, e coincide coa súa propia serie de Taylor en a nunha veciñanza de a.