Существует уравнение a+x=b, x - неищвестное.
Докащать, что x=b+(-a) и это уравнение имеет единственное решение