G bir grup ve e∈G birim eleman olmak üzere G'nin {e} ve G altgrupları her zaman mevcuttur. a∈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.