E is a point on side \overline{CD} of square ABCD. The extensions of ¯AD and ¯BE intersect at F. Find DF.