topologia:exemplo:zariskicompacto