Por esto, el nilradical de formula_1 es la intersección de todos los ideales primos de formula_1.