topologia:exemplo:espseqloccompacto