Suponha que seja. Então, como $\mathbb{R}_S \times \mathbb{R}_S$ é de Hausdorff e todo espaço paracompacto de Hausdorff é normal, obtemos que $\mathbb{R}_S \times \mathbb{R}_S$ é normal, o que é um absurdo.