for A being non degenerated commutative Ring
for I being Ideal of A holds
( I is primary iff ( I <> [#] A & ( for x, y being Element of A st x * y in I & not x in I holds
y in sqrt I ) ) )