. "Suppose that A is a Noetherian domain and B is a domain containing A that is finitely generated over A. If P is a prime ideal of B and p its intersection with A, then" . . .