Which theorem or postulate can be used to justify triangle ABC ≈ triangle CDA?

It is given that:
[tex]AB\parallel DC\text{ and }AD\parallel BC[/tex]So the angles congruent by alternate angles theorem are:
[tex]\begin{gathered} \angle\text{DAC}\approx\angle\text{ACB} \\ \angle DCA\cong\angle CAB \end{gathered}[/tex]With AC as the common side the triangles ABC is congruent with triangle CDA by ASA postulate.
ASA is correct.