Summation of i from 1 to n of Summation of j from 1 to i

Theorem

 * $\displaystyle \sum_{i \mathop = 1}^n \sum_{j \mathop = 1}^i a_{i j} = \sum_{j \mathop = 1}^n \sum_{i \mathop = j}^n a_{i j}$