theorem :: TOPZARI1:19

for A being non degenerated commutative Ring holds nilrad A = meet (Spectrum A)