Lemma 37.30.6. Let f : X \to Y be a proper, flat morphism of schemes of finite presentation. Let n_{X/Y} be the function on Y giving the dimension of fibres of f introduced in Lemma 37.30.2. Then n_{X/Y} is locally constant.
Lemma 37.30.6. Let f : X \to Y be a proper, flat morphism of schemes of finite presentation. Let n_{X/Y} be the function on Y giving the dimension of fibres of f introduced in Lemma 37.30.2. Then n_{X/Y} is locally constant.
Proof. Immediate consequence of Lemmas 37.30.4 and 37.30.5. \square
Comments (0)