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 C $$ D and D $$ C are satisfied by

all interpretations.