Cho hình thang cân ABCD (AB // CD)

Cho hình thang cân ABCD (AB//CD). Trên cạnh AD lấy điểm E bất kỳ. Từ E kẻ đường
thẳng song song với AB, cắt BC tại F. Chứng minh ABF E là hình thang cân.