Sum of Powers of 2

Theorem
Let $n \in \N_{>0}$ be a (strictly positive) natural number.

Then: