Böyle bir G grubu olamaz. Öncelikle mertebesi sonsuz olan bir eleman olmadığını gösterelim. Eğer a∈G mertebesi sonlu olmayan bir eleman ise <a>≃Z olur ve Z'nin sonsuz sayıda altgrubu vardır. O halde G grubunun her elemanının mertebesi sonludur. O halde xn+1∉<xn> şartını sağlayan x1,x2,⋯ gibi bir dizi eleman bulabiliriz çünkü G sonsuz ve her dongusel altgrup sonlu. Bu elemanların urettikleri altgrupların hepsi birbirinden farklıdır. Sonsuz çoklukta altgrup bulduk.