代数学の群の公理を見せてもらったんですが， 逆元の存在のところは後ろのfor以降を一番前に移すべきでは．
そのようですね． でも，メインコンテンツのほうはここしばらく更新されていないようですね． 残念なのですが．
