The Stacks project

Proof. If $g$ is quasi-compact, quasi-separated, separated, locally of finite presentation, of finite presentation, locally of finite type, of finite type, proper, finite, so is $h$ as a base change of $g$ by Morphisms of Spaces, Lemmas 67.8.4, 67.4.4, 67.28.3, 67.23.3, 67.40.3, 67.45.5. Conversely, let $P$ be a property of morphisms of algebraic spaces which is étale local on the base and which holds for the identity morphism of any algebraic space. Since $\{ W^0 \to W, V \to W\}$ is an étale covering, to prove that $g$ has $P$ it suffices to show that $h$ has $P$. Thus we conclude using Morphisms of Spaces, Lemmas 67.8.8, 67.4.12, 67.28.4, 67.23.4, 67.40.2, 67.45.3. $\square$