Y todavía más, todo ideal de un anillo noetheriano conmutativo puede expresarse de forma única como intersección finita de ideales primarios.