Zahlbereich/Kählermodul/Annullator/Einzeldifferenten/Fakt

Es sei eine Zahlbereichserweiterung und

Dann ist