以上方程的左端项在上半平面解析, 并在无穷远处趋于0; 而vnoLcf5KNOZUcF0f7b4m7QfhHK0mJogWeXh1dHJRpLs=其右端项在下半平面解析, 并在无穷远处趋于0, 从而成立