Cho (O) và ( O') tiếp xúc ngoài tại A. Đường nối tâm cắt đường tròn tâm (O) và (O') tại điểm thứ 2 tương ứng là B và C. Gọi EF là 1 tiếp tuyến chung ngoài (F thuộc (O) và E thuộc (O'). Chứng minh: Tam giác FAE vuông tại A. Tứ giác BCEF nội tiếp