Square of Sum with Double

Theorem

 * $\forall a, b \in \R: \paren {a + 2 b}^2 = a^2 + 4 a b + 4 b^2$