theorem Th66: :: IDEAL_1:66

for R being non empty doubleLoopStr
for a being Element of R holds a in {a} -Ideal