Tour:No proper nontrivial subgroup implies cyclic of prime order