>>776
p,qをp<qなる素数としｑはｐを法とし１と合同でないとする。

このとき、位数pqの群Ｇは巡回群である。

この事実をしろーの定理をつかって示してみるといい。