Supply the missing reasons, \text { Given: } \overline{A B} \| \overline{D C} ; \quad \overline{A B} \cong \overline{D C} \text { Prove: } \triangle A B C \cong \triangle C D A

Fig: 1

Fig: 2

Fig: 3

Fig: 4

Fig: 5