Product to n of Product to Index

Theorem

 * $\ds \prod_{i \mathop = 0}^n \prod_{j \mathop = 0}^i a_i a_j = \prod_{i \mathop = 0}^n {a_i}^{n + 2}$

Proof
Let:

Then: