x\neq 0