What is the justification for the second step (Reason 2)?
Alternate Interior Angles Theorem
Converse of the Alternate Interior Angles Theorem
Definition of a parallelogram
SAS Congruence Postulate
