ta có BO bằng CO
         BD bằng CD  suy ra DO là dg trung trực của BC suy ra CungBE bằng CungCE
Vì EF ss với AB suy ra góc DIC bằng góc BAC (1)
Ta có góc BAC chắn cungBC (GNTiếp) suy ra gBAC bằng 1/2 Sđ cungBC bằng Sđ cungCE
         mà gCOE chắn cungCE (GƠTâm) suy ra gCOE bằng Sđ cungCE
Vậy gBAC bằng gCOE (2)
Từ (1) và (2) suy ra gDIC bằng gCOE mà cả hai góc cùng chắn cạnh DC 
Suy ra O,I,C,D cùng thuộc 1 dg tròn