Problems understanding proof of if $x + y = x + z$ then $y = z$ (Baby Rudin, Chapter 1, Proposition 1.14)

real-analysis proof-writing proof-explanation

He didn't substitute $z$ for $y$; rather, he substituted $x+z$ for $x+y$. This is legitimate based on the assumption that $x+y = x+z$.

Related

Multiply each side of an inequality by a different amount
Is the integral operator $I: L^1([0,1])\to L^1([0,1]), f\mapsto (x\mapsto \int_0^x f \,\mathrm d\lambda)$ compact?
Show that every strict acyclic digraph contains an arc whose reversal results in an acyclic digraph. [closed]
How to prove that $E(M_n 1_{F})=E(M_r 1_{F})$ for a discrete-time martingale $M_n$ with $r>n$?
What does it mean to be in the same probability space?
Well Ordering implies Induction Proof doubt
$\lim_{n \to \infty}\frac{1}{n}\sum_{k = 1}^nf(k)$ where $f(n)$ is the largest prime factor exponent?
Is this enough to be differentiable?
Wrong answers to simple trigonometry questions
Composite of decreasing and increasing function [closed]
Use the Lagrange multiplier method to find the maximum possible volume for a rectangular box inscribed in the ellipsoid $2x^2 + 3y^2+4z^2=12$
Essential support vs. classical support for a continuous function