Ratkaisu: Riittää tarkistaa aliryhmäkriteeri äärellisten ryhmien tapauksessa. Eli oletetaan, että $\text{[math]}$ . Silloin $\text{[math]}$ .

Laskettaessa esimerkiksi ryhmää $\text{[math]}$ kannattaa ryhmän $\text{[math]}$ alkiot ajatella muodossa $\text{[math]}$ , jolloin

\text{[math]}

Muut ryhmät lasketaan samaan tapaan.