G grubu S alt kümesi tarafından doğurulsun.
S=∅ ise G={e} olup devirlidir. (veya S yi {e} ile değiştirip aşağıdaki mantığı kullanırız)
S≠∅ ise n1,n2,…,nk, S deki elemanların paydaları (bunların pozitif olduğunu varsayabiliriz) ve m=[n1,n2,…,nk] (bu sayıların en küçük ortak katı) olsun. m≥1 dir.
ϕ:G→Z, ϕ(ab)=mab olsun (mab∈Z olur)
ϕ bir grup homomorfizmasıdır, ve 1-1 dir. Öyleyse G ile ϕ(G) grupları izomorftur.
Z devirli olduğu için, her alt grubu devirlidir.
Öyleyse ϕ(G) grubu, dolayısıyla, G grubu devirlidir.