if the following are true:

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

then (e + b) + c = d

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