Es sei ein Hauptidealbereich und seien zwei teilerfremde Elemente. Dann kann man die als Linearkombination von
und
darstellen, d.h. es gibt Elemente mit .
Die Gradformel besagt, dass eine endliche Körpererweiterung ist und dass
gilt.
Ein reguläres -Eck ist genau dann mit Zirkel und Lineal konstruierbar, wenn die Primfaktorzerlegung von die Gestalt
hat, wobei die verschiedene Fermatsche Primzahlen sind.