Summation
Given a sequence , then we define
Constant can be Factored
Suppose , then
TODO
Sum of Added or Subtracted Sequence is the Addition or Subtraction of Sums
Suppose and are sequences, then
TODO
Sum of Consecutive Integers
For any we have that: