What theorems do I need today?
Using the same system from the example, write a two-column proof that proves line a is parallel to line b.