How do you prove (x+y)-y=x
Not a firm "proof," but
(x + y ) - y =
x + y - y =
x + ( y - y ) =
x + 0 =
x