Возможно, имелось в виду косвенное доказательство в математике, а не в алгебре.
Косвенное доказательство — это способ обосновать истинность выдвинутого тезиса, доказав ложность антитезиса. 1 Такой метод применяют, когда нет аргументов для прямого доказательства. 1
Один из примеров косвенного доказательства — метод от противного. 25
Сущность метода: допустим, нужно доказать теорему А ⇒ В. 25 При доказательстве методом от противного допускают, что заключение теоремы (В) ложно, а значит, его отрицание будет истинным. 25