The theorem used to identify that the opposite sides are parallel is:
If the corresponding angles are congruent, then the lines are parallel.
This theorem is one of the criteria for establishing that two lines are parallel when a transversal cuts through them.