逆元の一意性