Square of Difference

Theorem

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