Change of Index Variable of Summation

Theorem

 * $\ds \sum_{\map R i} a_i = \sum_{\map R j} a_j$

where $\ds \sum_{\map R i} a_i$ denotes the summation over $a_i$ for all $i$ that satisfy the propositional function $\map R i$.