for p being Polynomial of F_Complex st len p > 1 holds
p is with_roots