Есть два разных числа a и b. Они настолько разные, что есть такое число c, с которым верно следующее равенство a - b = c, ну или:
а = b + c.
Умножив обе его части на a — b, получим а² — аb = аb + аc — b² — bc.
Перенесем ас в левую часть: а² — аb — аc = аb — b² — bcи разложим на множители: а(а — b — c) = b(а — b — c).
Сокращаем на (а — b — c), и получаем: а = b,
что и требовалось доказать. Хде ошибка?