用于处理一个多变量的解析函数在某个给定点 formula_1 附近性质的一个工具。
定理内容.假设 formula_2 是定义在一个区域 formula_3 内的全纯函数，若 formula_2 于点 formula_1 的某个邻域formula_6 内不恒为零，假设在某一组基下，formula_1 的坐标为 formula_8，那么我们有：formula_15且 formula_16 解析.