Square of Sum less Square

Theorem

 * $\forall x, y \in \R: \paren {2x + y} y = \paren {x + y}^2 - x^2$