In commutative algebra, there is a commonly used proposition: let A=k[x 1,...,x n] be a polynomial algebra on a field k, and 0P 1P 2...P d a prime ideal chain of A in which no extra prime ideal can be inserted, then d=n. In this paper, the authors give a simple proof of it.
