Si ("R", "m") es un anillo local noetheriano conmutativo, entonces