TimVl, А причем здесь допустимые значения, когда a‑b-c всегда = 0 => получаем вполне справедливое равенство a*0 = b*0, а вот на ноль делить нельзя.
Вообще матем. софизмы прикольная вещь, в начальной задачи про модуль нечаяно забыли при извлечении из корня
−13
