The given states that line BC is congruent to line EC and line AC is congruent to line DC. By the vertical angles theorem, angle BCA is congruent to angle DCE. By SAS, triangle BCA is congruent to triangle DCE. Using CPCTC, it can be concluded that line BA is congruent to line ED.
