Answer choices are:
CPCTC
If alternate interior angles are congruent, then lines are parallel
Congruent by SAS
Vertical lines are congruent
