Thread
Whenever you divide an equality by a variable, you have to determine the domain of the new equality. In this case, the domain of the new equality is all X and Y such that X-Y-2 does not equal 0.
Thus, X = Y if and only if X does not equal Y + 2.
Unfortunately, X DOES equal Y + 2, so X can never equal Y.
Thus, X = Y if and only if X does not equal Y + 2.
Unfortunately, X DOES equal Y + 2, so X can never equal Y.
