Một hệ quả hình học của Krull's Principal Ideal Theorem
 

Let $X\subset\mathbb{A}^n $ be a closed subset such that $I(X)=(f_1,\cdots, f_r) $ is generated by $r $ elements. Prove that $codim_{\mathbb{A}^n}(X)\le r $