We have that AB || DC. By a similar argument used to prove that AEB ≅ CED,we can show that ≅ CEB by . So, ∠CAD ≅ ∠ by CPCTC. Therefore, AD || BC by the converse of the theorem. Since both pair of opposite sides are parallel, quadrilateral ABCD is a parallelogram.