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.