Kroneckerin lause

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