Consider .
Consider the triangles and thus
Since and are vertically opposite angles thus they are equal such that .
Use the SAS postulate as follows:
Since corresponding part of congruent triangle are congruent such that .
Thus .
Since “If two lines cut by a transversal line and sum of two interior angles on the same side of the transversal are supplementary then that two lines are parallel” thusis parallel to such that .
Since corresponding part of congruent triangle are congruent such that .
Thus, ABCD is a parallelogram.