△AEB ~ △CED

AE / CE = AB / CD

Inscribed angle measures half its intercepted arc

Substitution

∠DAB=(1/2) * (arc DB) and ∠DCB=(1/2) * (arc DB)

Definition

∠AEB = ∠CED

∠DAB =∠DCB

AA similarity

Vertical angles are equal