Additive property of inequality with whole numbers