Cho (O) và một điểm A nằm ngoài đường tròn. Từ A kẻ hai tiếp tuyến AE, AF. Gọi D là một điểm trên cung nhỏ EF. Từ D kẻ các đường vuông góc lần lượt xuống AE, AF, EF tại H, I, K