Der Satz über die Beziehung des K {\displaystyle {}K} -Spektrums von einem Restklassenring K [ X 1 , … , X n ] / a {\displaystyle {}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}} zum Nullstellengebilde V ( a ) {\displaystyle {}V({\mathfrak {a}})} .