an element of prime power order <of order a power of p>
Raising this to the pth power [= to the power p], we obtain......
Every prime in the factorization appears to an even power.