theorem Th4: :: IDEAL_1:4

for L being non empty right_zeroed addLoopStr holds {(0. L)} is add-closed