Integral extension of a Jacobson ring
= Integral extension of a Jacobson ring
{c}
Every ring integral over a <Jacobson ring> is Jacobson. After quotienting by a prime, an integral equation for a nonzero element has nonzero constant term; choose a maximal ideal of the base avoiding that term and apply the <Lying-over theorem>.