在有理数域Q中,x^2-2是可约的。