这是显然的, 设G=(a), 群阶为r. 则G中任意两个元设为a^c, a^d, 显然a^c*a^d=a^d*a^c