if the following are true:

• a = (b + c) + d
• b = x + y

then a = ((x + y) + c) + d

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