Sum of Sequence of Even Squares

Theorem

 * $\displaystyle \forall n \in \N: \sum_{i \mathop = 0}^n \left({2 i}\right)^2 = \frac {2 n \left({n + 1}\right) \left({2 n + 1}\right)} 3$