两个求和符号运算法则