Since by assumption
is prime the has only two divisors 1 and itself.
Since the other factor is just powers of 2 its divisors are
Since the latter is a geometric series we get that
Since the has already added the divisor 1 we just add other divisor
is perfect number, therefor:
With (1), we get:
From the above we can deduce that , now if we put this to (2) we will get:
and are both divisors of m, and therefor:
The conclusion is that: .
From the above follows that is prime number and