Answer:
R3 Theorem: If parallel lines are cut by a transversal, then alternate interior angles are congruent.
R4 Theorem: Congruence of segments is reflexive.
S5 ΔABC ≅ ΔCDA
