“…According to[12, Proposition 3.4. ], the upper square of this diagram is commutative, where between C A (B) and C A ′ (B ′ ), we have the following construction: By Theorem Morita II [6, Theorem 12.12], we can choose the ∆ O -linear Ḡ-graded bimodule isomorphism:…”