x\not=0