If X is a noetherian subspace of Spec R, the set of primes of R[ x ] lying over X is also noetherian. A simple consequence is the theorem of Ohm and Pendleton that a ring module-finite over a ...