theorem Lm5: :: TOPZARI1:3

for A being non degenerated commutative Ring
for J being proper Ideal of A holds not 1. A in sqrt J