$G$ grubu $S$ alt kümesi tarafından doğurulsun.
$S=\emptyset$ ise $G=\{e\}$ olup devirlidir. (veya $S$ yi $\{e\}$ ile değiştirip aşağıdaki mantığı kullanırız)
$S\neq\emptyset$ ise $n_1,n_2,\ldots,n_k,\ S$ deki elemanların paydaları (bunların pozitif olduğunu varsayabiliriz) ve $m=[n_1,n_2,\ldots,n_k]$ (bu sayıların en küçük ortak katı) olsun. $m\geq1$ dir.
$\phi:G\to \mathbb{Z},\ \phi(\frac{a}b)=\frac{ma}b$ olsun ($\frac{ma}b\in\mathbb{Z} $ olur)
$\phi$ bir grup homomorfizmasıdır, ve 1-1 dir. Öyleyse $G$ ile $\phi(G)$ grupları izomorftur.
$\mathbb{Z}$ devirli olduğu için, her alt grubu devirlidir.
Öyleyse $\phi(G)$ grubu, dolayısıyla, $G$ grubu devirlidir.