逆元を取る操作も連続であるとする。