:: deftheorem defines algebraic-closed POLYNOM5:def 9 :
for L being non empty unital doubleLoopStr holds
( L is algebraic-closed iff for p being Polynomial of L st len p > 1 holds
p is with_roots );