Sum of Squares of Sum and Difference/Algebraic Proof

Theorem

 * $\forall a, b \in \R: \left({a + b}\right)^2 + \left({a - b}\right)^2 = 2 \left({a^2 + b^2}\right)$