Options are:
CPCTC
Congruent
vertical angles are congruent
If alternate interior angles are congruent then lines are parallel
