Hello theclericGiven a prime and an integer , suppose that is the proposition " ", and that is the proposition " ". Then we must show that .

By the fundamental theorem of arithmetic, has a unique prime factorization: for some primes

Now does not divide for any

does not divide

So .

Therefore

Grandad