Lemma 66.35.2. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Assume $Y$ is locally Noetherian and $f$ is locally of finite type. Then
where $E$ is the supremum of the transcendence degrees of $\xi /f(\xi )$ where $\xi $ runs through the points at which the local ring of $X$ has dimension $0$.