Q[x]/(x^3-x+1)でx^2-2の逆元は何になるのでしょうか?