theorem Th9: :: TOPZARI1:7

for A being non degenerated commutative Ring
for f being Element of A
for J being proper Ideal of A st not f in sqrt J holds
ex m being prime Ideal of A st
( not f in m & J c= m )