Cho hình vuông ABCD. Trên tia đối của tia BA lấy E, trên tia đối của tia CB lấy F để CF = AE. Chứng minh tam giác EDF vuông cân