$G$ bir grup ve $e\in G$ birim eleman olmak üzere $G$'nin $\{e\}$ ve $G$ altgrupları her zaman mevcuttur. $a\in G$ için Lagrange teoreminden $H=<a>$ altgrubunun mertebesi $G$'nin mertebesini böler. $G$'nin yalnızca iki altgrubu olduğundan $H=\{e\}$ ya da $H=G$ olmalıdır. Buradan $G=<a>$ olup devirlidir. Eğer $G$'nin mertebesi asal değilse $G$'nin mertebesini bölen $1$ ve kendisinden başka en az bir pozitif böleni vardır ve bu bölen için $G$'nin aşikar altgruplarından başka bir altgrubu mevcuttur. Bu ise bir çelişkidir.