Given that ∠BAD congruent to ∠CDA and ∠BDA congruent to ∠CAD, which theorem or postulate proves ΔACD congruent to ΔDBA?
SSS Congruence Postulate
HL Congruence Theorem
ASA Congruence Postulate
SAS Congruence Postulate
