Sum of Sequence of n by 2 to the Power of n

Theorem

 * $\ds \sum_{j \mathop = 0}^n j \, 2^j = n \, 2^{n + 2} - \paren {n + 1} 2^{n + 1} + 2$