Show that?: # |x| -|y| le |x-y| #