Explanation:
Well in general, we can represent subtraction as:
"z" represents the difference, and it really just represents x with y taken away. So if we were to "give back" this y value, we should get "x".
This means that:
So one way to check, is adding the value that's being subtracted (y value) and the difference (z value), this should get you the value that is being subtracted from (x value). If you don't get the original value that's being subtracted from (x-value) then you know the answer you got is wrong.