Addition/subtraction property of inequality