证:||x||-||y|| ≤ ||x-y||