theorem Th54: :: POLYNOM5:54

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