theorem Th11: :: TOPZARI1:9

for A being non degenerated commutative Ring
for J being proper Ideal of A ex m being prime Ideal of A st J c= m