theorem :: TOPZARI1:32

for A being non degenerated commutative Ring holds Spectrum A = PrimeIdeals (A,{(0. A)}) by Th21;