Todo espacio localmente compacto está contenido en un Espacio Compacto.