theorem Th1: :: IDEAL_2:1

for A being non degenerated commutative Ring
for a, b being Ideal of A
for p being prime Ideal of A holds
( not a /\ b c= p or a c= p or b c= p )