Differential operator/Algebraic/Inductive and product condition/Fact/Proof/Exercise