Sigma Notation Simplification Rules