如图，在□ABCD中，E，F为BC上两点，且BE＝CF，AF＝DE．

求证
△ABF≌△DCE；
四边形ABCD是矩形