
If
is a positive integer but not a power of 2, then
where
,
and
is odd.
By the preceding lemma, for positive integer
,

where
means "evenly divides". Substituting
,
, and
and using that
is odd,

and thus

Because
, it follows that
is not prime. Therefore, by contraption
must be a power of 2.
sher mohammad
b.tech, iit delhi