Divisor Sum of Power of 2

Theorem
Let $n \in \Z_{>0}$ be a power of $2$.

Then:
 * $\map {\sigma_1} n = 2 n - 1$

Proof
Let $n = 2^k$.

Then:

[[Category:2]]