Additive property of equality with integers