Lemma about dimension of local rings and quasi-finite morphisms
Separated space = scheme in codimension 1

The argument in Remark \ref{remark-alternate-proof-scheme-codim-1} was
found in a discussion with Angelo Vistoli as mentioned in commit
79de6992f3e30d8b40c81e6f90e2ec1e97d8003c