State the theorem or postulate that proves a||b . (Picture included )

7. Theorem : When a transversal cuts two lines, such that pairs of corresponding angles are equal, then the lines have to be parallel.
8. Postulate : When a transversal cuts two lines, such that pairs of alternate interior angles are equal, the lines have to be parallel.
Good Luck