Let $H$ and $K$ be Hilbert spaces, and let $M\subseteq \mathcal{L}(H)$ and $N\subseteq \mathcal{L}(K)$ be von Neumann algebras. Regard the spatial [tensor product](/page/Tensor%20Product) $M\overline{\otimes}N$ as a von Neumann subalgebra of $\mathcal{L}(H\otimes K)$. Then