発見!位数3のアーベル群Gは代数構造が一つに決まる。
 これは修士論文になるかな?