\mathcal{H}_0\otimes \mathcal{H}_s=\mathcal{H}