Cho A là một vành địa phương Noether, M là một A-môđun sinh hữu hạn và có chiều đơn ánh hữu hạn.
a) Cho p∈Supp(M). Chứng minh đẳng thức prof(A)=prof(Ap)+dim(A/p). (Đặt p=prof(Ap) và q=dim(A/p); nhận xét rằng ta có p=diAp(Mp), do đó ExtApp(κ(p),Mp)=0 và do đó ExtAp+q(κA,M)=0 theo Bổ đề 3 của § 1, No. 7, điều này kéo theo prof(A)=diA(M)=p+q.) Nếu Supp(M)=Spec(A), A là một vành Macaulay.
b) Chứng minh đẳng thức grade(M)+dim(M)=prof(A) (dùng a) và Bài tập 15 của § 1).