Demuestre que un entero positivo es una suma de al menos dos enteros positivos consecutivos si y solo si no es una potencia de dos.