>>28
x+y=z <==> y=z-x [Q.E.D]