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 .