=== O quadrado da reta de Sorgenfrey não é paracompacto ===

\\ Suponha que seja. Então, como [[topologia:exemplo:quadradosorgenfreyt2|$\mathbb{R}_S \times \mathbb{R}_S$ é de Hausdorff]] e [[topologia:prova4parac|todo espaço paracompacto de Hausdorff é normal]], obtemos que $\mathbb{R}_S \times \mathbb{R}_S$ é normal, o que [[topologia:exemplo:quadradosorgenfreynormal|é um absurdo]].