theorem Th15: :: TOPZARI1:11

for A being non degenerated commutative Ring
for I being Ideal of A
for x being object st x in I & I is proper Ideal of A holds
x is NonUnit of A