Difference quotient/D in R/Definition