Lemma 35.13.3. Let $\{ f_ i : X_ i \to X\} _{i \in I}$ be a family of morphisms of schemes.

1. If the family is universal effective epimorphism in the category of schemes, then $\coprod f_ i$ is surjective.

2. If $X$ and $X_ i$ are affine and the family is a universal effective epimorphism in the category of affine schemes, then $\coprod f_ i$ is surjective.

Proof. Omitted. Hint: perform base change by $\mathop{\mathrm{Spec}}(\kappa (x)) \to X$ to see that any $x \in X$ has to be in the image. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).