Endlich erzeugte K-Algebren/Nullenstellengebilde zu verschiedenen Restklassendarstellungen sind isomorph/über K-Spektrum/Fakt/Beweis
Beweis
Nach Fakt sind beide Nullstellengebilde homöomorph zu , so dass sie auch untereinander homöomorph sein müssen.