Lemma 67.3.2. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $V \to U$ be a morphism of schemes over $S$, and let $U \to X$ be a morphism from $U$ to $X$. If the fibres of $V \to U$ and $U \to X$ are universally bounded, then so are the fibres of $V \to X$.

Proof. Let $n$ be an integer which works for $V \to U$, and let $m$ be an integer which works for $U \to X$ in Definition 67.3.1. Let $\mathop{\mathrm{Spec}}(k) \to X$ be a morphism, where $k$ is a field. Consider the morphisms

$\mathop{\mathrm{Spec}}(k) \times _ X V \longrightarrow \mathop{\mathrm{Spec}}(k) \times _ X U \longrightarrow \mathop{\mathrm{Spec}}(k).$

By assumption the scheme $\mathop{\mathrm{Spec}}(k) \times _ X U$ is finite of degree at most $m$ over $k$, and $n$ is an integer which bounds the degree of the fibres of the first morphism. Hence by Morphisms, Lemma 29.56.4 we conclude that $\mathop{\mathrm{Spec}}(k) \times _ X V$ is finite over $k$ of degree at most $nm$. $\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).