Prove (2^b + 1) Divides (2^ab + 1) for a odd. and a, b nonnegative integers

Intermediate Number theoretic result proven which has the corollary: If (2^m +1 ) is prime, then m is a power of 2. Martin Sleziak proved/edited this also at math stack exchange.

Proof here was modular arithmetic based