Sei f ∈ R ⊆ P {\displaystyle {}f\in R\subseteq P} . Dann gibt es einen Differentialoperator E : P → P {\displaystyle {}E\colon P\rightarrow P} mit E ( f ) = 1 {\displaystyle {}E(f)=1} . Die Einschränkung E ′ {\displaystyle {}E'} ist dann nach Fakt ein Differentialoperator auf R {\displaystyle {}R} mit der gewünschten Eigenschaft, da ρ ( 1 ) = 1 {\displaystyle {}\rho (1)=1} .
