Der Satz über den projektiven Abschluss zu einer affinen Varietät V ( a ) ⊆ A K n {\displaystyle {}V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}} .