if the following are true:

• y = (a + b) / 2
• a = 0
• b = e

then y = e / 2

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