if the following are true:

• x = c + d
• y = e + f

then ((a + b) + (c + d)) + (e + f) = ((a + b) + x) + y

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