Se da que si un número entero positivo $n$ no es una potencia de dos, entonces $n$ debe tener un factor primo impar, es decir $$n = pr, p>2, 1\leq r< n $$ ¿Es realmente tan trivial? Hay un prueba que utiliza este resultado, sin siquiera dar una explicación de por qué es cierto. Si suponemos $p=2$ ¿por qué es una contradicción?
Intento: Si $r=1$ entonces $n = 2\cdot 1$ que es una potencia de dos, de ahí la contradicción.
Supongamos que $n = 2k$ es una potencia de dos, entonces $n=2(k+1) = 2k+2\cdot 1$ pero no hay contradicción.