What definition would justify the following statement?

If T is the midpoint of segment RS then, Segment RT is congruent to segment TS..

Definition of Angle Bisector
Definition of Congruence
Definition of Midpoint
Definition of Segment Bisector

Given: ab ≅ cd and ad ≅ bc prove: abcd is a parallelogram. statements reasons 1. ab ≅ cd; ad ≅ bc 1. given 2. ac ≅ ac 2. reflexive property 3. △adc ≅ △cba 3. ? 4. ∠dac ≅ ∠bca; ∠acd ≅ ∠cab 4. cpctc 5. ∠dac and ∠bca are alt. int. ∠s; ∠acd and ∠cab are alt. int. ∠s 5. definition of alternate interior angles 6. ab ∥ cd; ad ∥ bc 6. converse of the alternate interior angles theorem 7. abcd is a parallelogram 7. definition of parallelogram what is the missing reason in step 3? triangle angle sum theorem sas congruency theorem sss congruency theorem cpctc