formula_2是上半平面的一个全纯函数，formula_3则是下半平面的一个全纯函数。当用另一全纯函数分别加到formula_2与formula_3上时，formula_2与formula_3间的“差异”并不受影响。因而，令formula_8是复平面上的一全纯函数，超函数formula_1和formula_10是等价的。