Prove that a positive integer is a sum of at least two consecutive positive integers if and only if it is not a power of two.