Is is possible to proof that |x-y| ≤ |x|+|y|?

of course.

|x-y| = |x + (-y)| <= |x| + |-y|