Раскроем скобки и упростим выражение в левой части равенства.

5x - 5x - 5 * (- 1) = 5

Тождество доказано.