We are new ready to prove that if a function is analytic at a point, its derivations of all orders exist at that point and are themselves analytic there. A function f of the complex variable z is analytic at a point Z0 if its derrivative exists not only at Z0 but also at each point Z in some neighborhood of Z0.
