Se a≤b e se c≤d então: a−2c≤b−2d ab2≤b3 6a≤6b

Se a ≤ b e c ≤ d, então: a - 2c ≤ b - 2d é verdadeiro, pois se a é menor ou igual a b, e c é menor ou igual a d, então a - 2c será menor ou igual a b - 2d. ab2 ≤ b3 é verdadeiro, pois podemos simplificar a expressão dividindo ambos os lados por b2, resultando em a/b ≤ b, o que é verdadeiro, já que a é menor ou igual a b. 6a ≤ 6b é verdadeiro, pois podemos simplificar a expressão dividindo ambos os lados por 6, resultando em a ≤ b, o que é verdadeiro, já que a é menor ou igual a b.