If $G$ has no non trivial subgroups, then Show that $G$ must be of prime order. This question is from Herstein Page 46 Question 3.
Let $G$ has prime order(say $p$). By Lagrange theorem, order of the subgroup can be $1$ or $p$. So it has two trivial subgroups.
How do i prove the other way around?