If G is a group of order p^k, where p is a prime and k >=, show that G must have an element of order p.
If k=1, the result holds obviously.
Suppose the result holds for all t less than k, now for |G|=p^k,
Consider an element g in ...
This is a proof of prime groups and elements with given order.