for L being non empty unital doubleLoopStr holds 0_. L is with_roots