((-9) + 9) + x = 0 + x

Start from the conclusion and work back up the proof. Click the arrow to show the parents.

• ((-9) + 9) + x = 0 + x,

  if (-9) + 9 = 0, then ((-9) + 9) + x = 0 + x

  • (-9) + 9 = 0, (-9) + 9 = 0