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