巡回群の定義がよくわからん：
二つの巡回群の直積が巡回群になる条件は二つの生成元の位数が互いに素である。