2) [tex]\overline{AE} \cong \overline{EC}[/tex] (a segment bisector splits a segment into two congruent parts)
3) [tex]\overline{BE} \cong \overline{ED}[/tex] (a segment bisector splits a segment into two congruent parts)
4) [tex]\angle AEB \cong \angle CED[/tex] (vertical angles are congruent)
5) [tex]\triangle BEA \cong \triangle DEC[/tex] (SAS)
6) [tex]\angle EBA \cong \angle EDC[/tex] (CPCTC)
7) [tex]\overline{AB} \parallel \overline{CD}[/tex] (converse of alternate interior angles theorem)
8) [tex]\angle BEC \cong \angle AED[/tex] (vertical angles are congruent)
9) [tex]\triangle BEC \cong \triangle DEA[/tex] (SAS)
10) [tex]\angle ECB \cong \angle EAD[/tex] (CPCTC)
11) [tex]\overline{BC} \parallel \overline{AD}[/tex] (converse of alternate interior angles theorem)
