Jos ovat algebrallisia yli :n ja on rationaaliluku, joka ei ole muotoa , missä ja ovat :n konjugaatteja ja ovat :n konjugaatteja, on :n primitiivinen alkio. Lausetta voidaan käyttää primitiivisen alkion lauseen todistamiseen.

Lähteet Bosch: Algebra

Luokka:Algebra