Square of Sum with Double

Theorem

 * $\forall a, b \in \R: \left({a + 2 b}\right)^2 = a^2 + 4 a b + 4b^2$