How do I prove |x|x0 ?