How do I prove #|x|-x!=0# ?