فرض کنید r حلقه جابجایی و نوتری وi وj ایده آل هایی از r باشند. اگر r حلقه ی موضعی با ایده آل ماکزیمال m باشد، ثابت می کنیم: تساوی inf{ i |?? h?_(i,j)?^i(m) آرتینی نیست }= inf { depthm_p ? p? w(i,j){m}} برقرار است که در آن m یک r – مدول متناهی مولد است و w(i,j)={ p? spec(r): i^(n )?p+j ,? n?1}. 2.برای هر r- مدول متناهی مولد m با بعد d، ?? h?_(i,j)?^d(m) آرتینی است. در وقع سوپریمم اعداد صحیحr را که به ازای آن ها?? h?_(i,j)?^d(m)?0 ، معرفی می کنیم.