BD
≅
AC
and start overline, B, A, end overline, \cong, start overline, D, C, end overline, .
BA
≅
DC
.

Prove: triangle, B, A, D, \cong, triangle, C, D, A△BAD≅△CD