Desculpe, na pressa errei uma expressão
por definição de módulo:
|x-7| = x-7, se x é maior ou igual a 7 ou -x+7, se x menor que 7.
para o primeiro caso, x-7 é maior ou igual a 0, então x+x-7 é maior ou igual a 7, pois temos um número maior ou igual a 7 somado a um número maior ou igual a zero.
para o segundo caso:
x-x+7 = 0+7 = 7