Differentialoperatoren/Hauptteilring/Ableitungsbeschreibung/Fakt

Es seien Polynome mit dem Restklassenring

Dann ist

mit

und