Proof that holomorphic functions are analytic