if the following are true:

• a = 90
• b = 90

then a + b = 180

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