逆元の一意性まで