For simplicity, let $G_n$ be $GL_n(\mathbb{R})$, $\mathfrak{g}_n$ be its Lie algebra. $K_n$ be $O(n)$. I want to know any reference about the following statement.

For any irreducible admissible $(\mathfrak{g}_n\oplus \mathfrak{g}_m,K_n\times K_m)$ module $V$, there exist an irreducible admissible $(\mathfrak{g}_n, K_n)$ module $U$, and an irreducible admissible $(\mathfrak{g}_m, K_m)$ module $W$, such that $V$ is isomorphic to $U\otimes W$. Both $U$ and $W$ are uniquely determined by $V$ up to isomorphism.

Similar of this is true for representations of finite groups, smooth representations of p-adic groups. It seems to me that this is also true for real reductive groups, and I can't find it in any standard reference. I appreciate a lot if anyone would provide some related paper or book.