Betrachte
.
Es gilt dann (Division durch
)
Betrachte die Körpererweiterung des Quotenientenkörpers (checke integer und normal?), die durch
gegeben ist. Es ist dann
,
so dass also eine Ganzheitsgleichung für
über
vorliegt, aber die Koeffizienten des Minimalpolynoms liegen nicht in
.