Der Term im linken Betrag ist nie negativ, denn 
aus der Dreiecksungleichung  |a| + |b| ≥  |a+b|
mit a = x+y und b = z folgt 
|x+y| + |z| ≥  |x+y+z|   also ist 
|x+y| + |z| -   |x+y+z|    nie negativ, also ist der 
Betrag davon das Gleiche wie der Term selbst
||x+y| + |z| - |x+y+z|| = |x+y| + |z| - |x+y+z|