Three theorems concerning
when certain localities L of R[X1,⋯,Xk] are Hi-local rings (that is, for every height
i prime ideal p in L, depth p = altitude L − i) are proved, where R is a
local ring. A number of known corollaries, as well as some new ones, easily
follow.