Zauważmy, że ∠CDA = ∠CBA oraz ∠CDB = ∠CAB, mamy więc dowieść, że ∠BAC + ∠CBA = ∠ASB, zauważmy,
że na czworokącie AXSZ można opisać okrąg, więc ∠BAC = 180−∠ZSX = ∠XSB, podobnie ∠CBA =
180−∠YSX = ∠ASX, więc istotnie ∠BAC + ∠CBA = ∠XSB + ∠ASX = ∠ASB cnd.