1) ABCD is a parallelogram, [tex]\overline{AC} \cong \overline{BD}[/tex] (given)
2) [tex]\overline{AD} \cong \overline{BC}[/tex] (if the quadrilateral is a parallelogram, both pairs of opposite sides are congruent)
3) [tex]\overline{AB} \cong \overline{AB}[/tex] (reflexive property of congruence)
4) [tex]\triangle ABC \cong \triangle BAD[/tex] (SSS Triangle Congruence Theorem)
5) [tex]\angle DAB \cong \angle CBA[/tex] (CPCTC)
6) [tex]\angle DAB[/tex] and [tex]\angle CBA[/tex] are supplementary (consecutive angles in a parallelogram are supplementary)
7) [tex]m\angle DAB=90^{\circ}, m\angle CBA=90^{\circ}[/tex] (congruent supplementary angles are right angles)
8) [tex]ABCD[/tex] is a rectangle (definition of rectangle)