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