Given the graph of exercise 2 we can see that the theorem that shows that a and b are parallel is that of alternate interior angles which says that:
a and b are parallel if there are two internal angles with different vertex and that are on different sides of the transversal, they are grouped in pairs and there are 2.
