Từ hình thang cân và tứ giác nội tiếp, ∠AHI=180∘−∠IHK=180∘−∠AKN=∠ABN\angle AHI=180^\circ-\angle IHK=180^\circ-\angle AKN=\angle ABN∠AHI=180∘−∠IHK=180∘−∠AKN=∠ABN.