=== O espaço de Hilbert é Paracompacto ===

Se um espaço é $T_3$ e de Lindelöf, ele é paracompacto.