X + Y = 10. Solve for X.
X = 10 - Y
and since Y = 10 - X, X = 10 - Y becomes
X = 10 - (10 - X)
X = 0 + X = X
X = X
lol.