Positive Integer is Sum of Consecutive Positive Integers iff not Power of 2

Theorem
Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Then $n$ can be expressed as the summation of $2$ or more consecutive integers $n$ is not a power of $2$.