(ab)^(-1)=b^(-1)a^(-1) から説明が必要か。
前の方で単位元を除き元の位数がすべて2ならアーベルとも書いているが
証明できないかもよ。