Let F and E be the midpoints of chords ML and MK, respectively. Then O3F⊥ML and O4E⊥MK. Since O4O1O2O3 is cyclic with ∠O4O2O3=∠O4O1O3=90∘, the midpoint X of segment O3O4 is the center of the circumscribed circle of O4O1O2O3. Moreover, if T denotes the foot of the perpendicular from X onto O1O2, then TO1=TO2.
In the right trapezoid O4EFO3, since X is the midpoint of O3O4 and XT⊥EF, it follows that XT∥EO4∥FO3, so XT is a midline and therefore ET=TF.
Consequently, using the last two equalities we get
TE−TO1=TF−TO2⟹EO1=FO2.
Thus, ∣MK−ML∣=∣2ME−2MF∣=2∣ME−MF∣=2∣EO1+O1M−MO2−O2F∣=∣2O1M−2O2M∣.
But AB=2O1M, CD=2O2M, so substituting into the last equality we obtain ∣MK−ML∣=∣AB−CD∣, which was to be proven.