Question $4$

Do exercise $8\mathrm{.}6.$ in the prescribed book. In other words, prove that concept equivalence is the same

as mutual subsumption $($Prp$.8\mathrm{.}23),$ namely:

For any two concept descriptions $C$ and $D,C-=D$ iff $CD$ and $DC$ are satisfied by

all interpretations.