Dies folgt aus Fakt, aus Fakt, und aus der Gestalt des Minimalpolynoms (nämlich gleich f 2 − S ( f ) f + N ( f ) {\displaystyle {}f^{2}-S(f)f+N(f)} , falls f ∉ Q {\displaystyle {}f\notin \mathbb {Q} } ) im quadratischen Fall.