(Q,+) grubunun devirli olduğunu kabul edelim. Bu durumda Q=<pq> olacak şekilde pq∈Q vardır. Burada p ve q yu aralarında asal seçebiliriz. Diğer taraftan kabulden; p2q∈Q için p2q=npq olacak şekilde n∈Z vardır. Buradan n=12∈Z olur ki bu bir çelişkidir. O halde Q devirli değildir.