topologia:exemplo:espseqparacompacto