Square of Difference/Algebraic Proof 1

Theorem

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

Proof
Follows from the distribution of multiplication over addition: