Докажательство.

Для тождества из примера:

a(b − x) + x(a + b) = ab − ax + ax + xb = ab + xb = b(a + x).

Получили правую часть равенства, следовательно, тождество доказано.