theorem Th43: :: UPROOTS:46

for L being non degenerated comRing
for p being Polynomial of L st len p = 1 holds
Roots p = {}