theorem Th27: :: TOPZARI1:17

for A being non degenerated commutative Ring holds nilrad A = sqrt {(0. A)}