The first theorem concerns the
number of minimal prime ideals of a given depth (= dimension) in the completion of
a finite integral extension domain of a semi-local domain. The second theorem
characterizes local domains that have a depth one prime divisor of zero in
their completion as those local domains whose maximal ideal M is a prime
divisor ( = associated prime) of all nonzero ideals contained in large powers of
M.