Lemma 62.9.2. Let f : X \to S be a morphism of schemes. Assume S is locally Noetherian and f is locally of finite type. Let r \geq 0 be an integer. Let \alpha be a relative r-cycle on X/S. If \alpha is proper, then any base change \alpha is proper.
Proof. Omitted. \square
Comments (0)