9514 1404 393
Explanation:
The proof has two more steps:
2. AC ≅ AC . . . . reflexive property of congruence
3. ΔABC ≅ ∆CDA . . . . SSS congruence postulate