Given: start overline, A, E, end overline, \parallel, start overline, D, F, end overline, comma
AE
∥
DF
, start overline, A, E, end overline, \cong, start overline, D, F, end overline
AE
≅
DF and start overline, A, B, end overline, \cong, start overline, C, D, end overline, .
AB
≅
CD
Prove: triangle, E, A, C, \cong, triangle, F, D, B△EAC≅△FDB.