ScalingStacks

Proof. We have $Z_{f}\subset f^{-1}(Z^{\prime}_{o})\subset Z_{o}$. It follows that $\sim$ is a finite relation on $Z$ and the lemma follows from Lemma 7.1.13. ∎