След через максимально запутанный вектор

Пусть $A$ — квадратный оператор на системе $S$, а $R$ изоморфна $S$. Для ненормированного максимально запутанного вектора

$$|\Gamma\rangle_{RS}=\sum_{j=0}^{d-1}|j\rangle_R|j\rangle_S$$

докажите

$$\operatorname{Tr}A=\langle\Gamma|(I_R\otimes A_S)|\Gamma\rangle.$$