Kéo dài BA cắt (O) tại I.
Tiếp trên ta có CD // EF.
Sử dụng Ta-lét được OI // O'B.
Dễ chứng minh được [tex]\frac{AC}{AD}=\frac{IC}{ID}[/tex]
Mà [tex]\frac{AC}{AD}=\frac{AE}{AF},\frac{IC}{ID}=\frac{BE}{BF}\Rightarrow \frac{AE}{AF}=\frac{BE}{BF}[/tex]
Từ đó chứng minh được KB là tiếp tuyến (O')