Estoy leyendo lema 27.27.3 en el proyecto de las pilas.
En la prueba parece que parece que reclama:
Si $X$ es un esquema, donde $f_1,\ldots, f_n \in \Gamma(X, O_X)$ genera el anillo. Entonces $X= \bigcup X_{f_i}$ donde $$ X_f:= \{x \in X \, : \, f_x \not= 0 \in O_{X,x} \}$$
¿Cómo es eso? Supongamos que es falso, entonces escoge $x$ no en la unión. Entonces, $$ 1_x =\sum (g_if_i)_x =0 \in O_{X,x} $$ Pero tampoco hay nada malo en esto...
