>>352
群の定義を確かめるだけ。