Đại số giao hoán, VIII, p. 85
a) Cho A và K như trên, B là một vành nguyên chứa A và nguyên trên A, L là trường phân thức của B. Cho k≥0 là một số nguyên. Nếu, với mọi bộ m phần tử (t1,...,tm) của L, ta có dim(A[t1,...,tm])≤k, thì, với mọi bộ m phần tử u1,...,um của L, ta có dim(B[u1,...,um])≥k. b) Cho p là một iđêan nguyên tố của A. Chứng minh rằng nếu, với mọi bộ m phần tử (t1,...,tm) của K, ta có dim(A[t1,...,tm])≤k, thì, với mọi bộ m phần tử (s1,...,sm) của trường phân thức của A/p, ta có bất đẳng thức dim((A/p)[s1,...,sm])≤k−ht(p).