∑的所有运算法则