4) Gọi I và J lần lượt là tâm đường tròn nội tiếp hai tam giác BDF và EDC. Chứng minh DIJ^=DFC^.