Dies wird zuerst ausgehend von
Fakt
für Primzahlpotenzen bewiesen. Bei
ergibt sich eine Ganzheitsbasis des Ganzheitsringes wegen der nach
Fakt
teilerfremden Diskiminanten aus den Produkten der Ganzheitsbasen der einzelnen Kreisteilungsringen zu den Primzahlpotenzen.