summation simplification rules