Square of Sum less Square/Algebraic Proof 1

Theorem

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

Proof
Follows directly and trivially from Square of Sum: