topologia:exemplo:sorgenfreyparacompacto