Es sei R {\displaystyle {}R} ein direkter Summand eines Polynomrings P {\displaystyle {}P} .
Dann gibt es für jedes f ∈ R {\displaystyle {}f\in R} , f ≠ 0 {\displaystyle {}f\neq 0} , einen Differentialoperator E : R → R {\displaystyle {}E\colon R\rightarrow R} mit E ( f ) = 1 {\displaystyle {}E(f)=1} .
