It is given that AB is parellel to CD. These two lines are cut by a transversal, creating angles BAC and DCA. Thus, angle BAC is congruent to angle DCA because alternate interior angles are congruent. It is also given that angle ACB is congruent to angle CAD. Therefore, triangle ABC is congruent to triangle CDA because of the ASA theorem.
