De fapt,"porunca" e asa:Fie
un grup cu cel putin doua elemente.Sa se arate ca
este izomorf cu orice subgrup al sau cu 2 elemente daca si numai daca
este izomorf fie cu
,fie cu
,p prim(dupa cum G este finit sau infint).
Implicatia directa e aproape evidenta,dar reciproc?