CA = AC because of Reflexive Property
Triangle BAC is congruent to Triangle DCA because of ASA
AB is congruent to CD because of CPCTC
BC is congruent to DA because of CPCTC
[Really though, they're congruent because of the definition of a parallelogram]
