I have recently happened upon an interesting problem that I cannot solve. Here it is:

a. Factorise .

b. Factorise when is odd. Use this to prove the following:

i. If is prime, then must be a power of .

ii. Show that isnotprime.

I can't seem to make any headway on the problem, in particular the very last part. All help is appreciated on this problem.