O plano de Niemytski não é paracompacto.

Se um espaço topológico admite base enumerável e é regular, então ele é paracompacto. Mas o Plano de Niemytski não admite base enumerável., logo não é paracompacto.