Subtraction property of inequality