For every divisor d of n, G has at most one subgroup of order d.
There exist finite groups other than cyclic groups with the property that all proper subgroups are cyclic; the Klein group is an example.