1) [tex]\overline{AC} \cong \overline{BD}[/tex] and [tex]\overline{AC}[/tex] and [tex]\overline{BD}[/tex] bisect each other (given)
2) [tex]ABCD[/tex] is a parallelogram (a quadrilateral with diagonals that bisect each other is a parallelogram)
3) [tex]ABCD[/tex] is a rhombus (a parallelgoram with congruent diagonals is a rhombus)
4) [tex]\overline{BE} \cong \overline{EC}[/tex] (halves of congruent segments are congruent)
