((a + b) + c) + d = ((a + c) + b) + d

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

• ((a + b) + c) + d = ((a + c) + b) + d,

  if a = b, then a + c = b + c

  • (a + b) + c = (a + c) + b, (a + b) + c = (a + c) + b