The next result, for the case where \(\operatorname{\mathcal {Z}}\)  is a closed subset of \(\operatorname{Spec}R\) , was initially proved by Grothendieck; see [1]}. This fact can be viewed as a generalization of [2]}.
As the result plays an important role for our arguments in this paper, we provide the details.
