A^2 + ba - (ab - b^2) = a^2 + b^2
a^2 + ba - ab + b^2 = a^2 + b^2
a^2 + b^2 = a^2 + b^2 - тождество верно
a^2 + ba - (ab + b^2) = a^2 - b^2
a^2 + ba - ab - b^2 = a^2 - b^2
a^2 - b^2 = a^2 - b^2 - тождество верно
a^2 + ba + ab + b^2 = a^2 + 2ab + b^2
a^2 + 2ab + b^2 = a^2 + 2ab + b^2 - тождество верно
b - b(1 + b) = b^2
a (a + b) + ab = a^2 + 2ab