theorem Th35: :: IDEAL_2:31

for A being non degenerated commutative Ring
for I being Ideal of A holds
( I is primary iff ( not A / I is degenerated & ( for x being Element of (A / I) st x is zero_divisible holds
x is nilpotent ) ) )