Additive property of equality with whole numbers