Let R {\displaystyle {}R} be a reduced noetherian local K {\displaystyle {}K} -algebra. Suppose that the differential signature is positive.
Then R {\displaystyle {}R} is a simple D R | K {\displaystyle {}D_{R{|}K}} -module.