Die Gradformel besagt, dass K ⊆ M {\displaystyle {}K\subseteq M} eine endliche Körpererweiterung ist und dass
gilt.