Square of Sum

Theorem

 * $\forall x, y \in \R: \left({x + y}\right)^2 = x^2 + 2 x y + y^2$