x^2-1\neq 0