theorem Th45: :: IDEAL_2:40

for A being non degenerated commutative Ring
for Q being proper Ideal of A st ( for x, y being Element of A st x * y in Q & not y in sqrt Q holds
x in Q ) holds
( Q is primary & sqrt Q is prime )