BE is congruent to CE

Parallel lines form equal alternate interior angles

AD bisects BC at E; AB is parallel to CD

ASA (Angle-Side-Angle)

Vertical angles are equal

angle AEB is congruent to angle CED

angle B is congruent to angle C

Triangle ABE is congruent to Triangle CDE

Given

Definition