theorem Th44: :: IDEAL_2:39

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