Mediante el uso de la localización, podemos ver que formula_28 es la intersección de todos los ideales primos de formula_1 que contienen a formula_2: cada ideal primo es radical, así que la intersección de los ideales primos que contienen a formula_2 contienen a formula_28.