If is a group with , whose only subgroups are and (i.e., has no proper subgroups), then , for some prime . Proof: Let with . Observe that must generate because if it didn't generate , then would be a proper nontrivial subgroup of , which would contradict our hypothesis. Hence . Thus is cyclic. ...