単位元以外の元の総数は偶数個（逆元の逆元は元に戻るから、二つずつ組になる）
⇒単位元以外の元は自分自身が逆元ではない。

これはどうやって言ってるんだろうね
まあ結果的に正しいんだけど