1) Quadrilateral PAST, TX=AX, (given)
2) and (alternate interior angles theorem)
3) (AAS)
4) (CPCTC)
5) PAST is a parallelogram (a quadrilateral with two pairs of opposite congruent sides is a parallelogram)