A result related to this discussion is the following:Suppose a and n are integers with and .If is prime then a is even and n is a power of 2.ProofCertainly a should be even, since if a is odd then is even and not 2.Suppose n = st where s is odd and s>1.