Manipulate sigma notation using linearity