Докажем первое тождество:

5-(5-(5-(5-x))) = 5 - (5 - (5 - 5 + x)) = 5 - (5 - x) = 5 - 5 + x = x

Теперь докажем второе тождество:

x - (x - (x - (x - 5))) = x - (x - (x - x + 5)) = x - (x - 5) = x - x + 5 = 5

Таким образом, оба тождества доказаны.