theorem id2: :: RING_2:4

for R being comRing
for I being Ideal of R
for a being Element of R st a in I holds
{a} -Ideal c= I