Sum of Sequence of Even Squares

Theorem

 * $\ds \forall n \in \N: \sum_{i \mathop = 0}^n \paren {2 i}^2 = \frac {2 n \paren {n + 1} \paren {2 n + 1} } 3$