Kroneckerin lause

Kroneckerin lause koskee kuntakertoimisten polynomien juuria. Olkoon $K$ kunta ja $f$ jaoton polynomi renkaassa $K[x]$. Tällöin on olemassa sellainen kunnan $K$ kuntalaajennus $E$, että polynomilla $f(x)$ on juuri kyseisessä kuntalaajennuksessa $E$.