ThmDex – An index of mathematical definitions, results, and conjectures.
F9228
Formulation 0
Let $x_1, \ldots, x_N \in \mathbb{R}$ and $y_1, \ldots, y_M \in \mathbb{R}$ each be a D993: Real number.
Then \begin{equation} \left( \sum_{n = 1}^N x_n \right) \left( \sum_{m = 1}^M y_m \right) = \sum_{n = 1}^N \sum_{m = 1}^M x_n y_m \end{equation}