theorem Th37: :: IDEAL_2:32

for A being non degenerated commutative Ring
for q being proper Ideal of A holds (canHom q) .: (sqrt q) = nilrad (A / q)