如图,正方形ABCD中,点EF分别在AD,CD上,且BE=AF.求证:AE=DF