Product of Summations

Theorem

 * $\displaystyle \prod_{j \mathop = 1}^n \sum_{i \mathop = 1}^m a_{i j} = \sum_{1 \mathop \le i_i, \mathop \ldots \mathop, j_n \le m} a_{i_1 1} \cdots a_{i_n} n$