Square of Sum less Square

Theorem

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