It is given that line segment BC is congruent to line segment EC and that line segment AC is congruent to DC. Because of the vertical angles theorem, angle BCA is equal to angle DCE. Therefore, triangles CBA AND DEC are congruent by SAS. Using CPCTC, BA is equal to ED.
