Solution
= Solution
Write $|\Phi^+\rangle=2^{-1/2}\sum_{j=0}^1|j\rangle|j\rangle$. Then
$$
(I\otimes A)|\Phi^+\rangle
=\frac1{\sqrt2}\sum_{i,j}A_{ij}|j\rangle|i\rangle
=\frac1{\sqrt2}\sum_{i,j}(A^T)_{ji}|j\rangle|i\rangle
=(A^T\otimes I)|\Phi^+\rangle.
$$