Sum of Sequence of Odd Squares/Formulation 1

Theorem

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