Every cyclic group G is abelian, because if x, y are in G, then xy = aman = am + n = an + m = anam = yx.
Кожная цыклічная група з'явўляецца абелевай, таму што калі x, y належаць да G, то xy = aman = am + n = an + m = anam = yx.