>>429
結論の先取りをしているな。
GCD(m,n)=1と「mとnは互いに素」は同じ意味だ。

＞よってmとnは互いに素なので、
＞Ｇ＝{e,x,x^2,…,x^(n-1)}＝{e,x^m,(x^m)^2,…}←①
は証明すべき結論だ