"given that segment bd is congruent to segment ca and segment ab is congruent to segment dc, which theorem or postulate proves acd is congruent to dba?"