theorem Th10: :: IDEAL_1:10

for L being non empty doubleLoopStr holds the carrier of L is Ideal of L