Cho 2 đường trọn (O;R) và (O'R') cắt nhau tại E và F (R>R', O và O' nằm về 2 nửa mặt phẳng bờ EF). Kẻ tiếp tuyến chung ngoài AB;đường thẳng EF cắt AB tại H(A thuộc (O;R);B thuộc (O'R');FH>EH). Tiếp tuyến tại E của (O;R) cắt (O'R') tại D. Tia AE cắt BD tại K.CMR:HA=HB