>>170
ギムの定義に従えばいえない。
群論だと論理的にはいえる。