Выражения равны, если их значения равны при всех  допустимых значениях. Может, не дословно, но примерно так звучит определение, и они должны были его проходить (хотя сомневаюсь уже). Ну то, что ноль получается при разности только равных чисел, я считаю аксиомой, но при желании в выражении 2=2 переносим одно число через равно меняя знак и получаем чтд.