>>591
「Gが可換群でない」と「ab≠baである」は同じ事なんだろうか。