Chứng minh E; F lần lượt là tâm của đường tròn ngoại tiếp các tam giác ABC và ABD