如图，在△ABC中，∠ABC＝90°，将△ABC绕点C顺时针旋转得到△DEC，连接AD，BE，延长BE交AD于点F．求证：∠DEF＝∠ABF．