Cho ∆ABC, AB < AC, phân giác AD, trên cạnh AC lấy điểm E sao cho AE = AB. Đường thẳng DE cắt đường thẳng AB tại F. Chứng minh EF = BC