theorem Th7: :: TOPZARI1:5

for A being non degenerated commutative Ring
for J being proper Ideal of A
for f being Element of A st not f in sqrt J holds
J in Ideals (A,J,f)