Additive property of equality with a negative coefficient