Solution (source code)

= Solution

Applying $I\otimes I,X,Z,$ or $XZ$ to one qubit permutes the Bell <basis> up to phases. Composing two such Pauli operations maps any chosen Bell state to any other, proving local equivalence.