Si "P"("x") es separable, y sus raíces forman un grupo (un subgrupo del cuerpo "K"), entonces "P"("x") es un polinomio aditivo.