x\neq0