Vemos [[topologia:paracomp|aqui]] que todo espaço compacto é também paracompacto, e [[topologia:exemplo:espacodecantor:compacidade|aqui]] vemos que $ \{0,1\}^{\mathbb{N}} $ é compacto. O resultado segue.