The case when
x<y will be proven. The remaining cases can be proven similarly. Before starting the proof, the following needs to be considered.
x<y⇔y−x>0
Now, the can be applied to the second part of the statement.
y−x>0
y−x+0>0
y−x+z−z>0
y+z−x−z>0
y+z−(x+z)>0
(y+z)−(x+z)>0
Using the biconditional statement, the last inequality can be rewritten.
(y+z)−(x+z)>0⇕x+z<y+z
Finally, because
x<y, the property is obtained.