Bài tập 15, § 2

Với các ký hiệu của các bài tập trước, hãy chứng minh rằng nếu đối với một số nguyên $k \geq 0$ nào đó, ta có $\dim(A[X_1, ..., X_m]) \geq k + m + 1$ với một số nguyên $m$, thì ta có bất đẳng thức $\dim(A[X_1, ..., X_k]) \geq 2k + 1$.