Me sorprende que nadie haya mencionado aún la conexión con el operador de diferencia en secuencias de la forma $P(1),$ $P(2),$ $P(3),$ $\ldots$ donde $P$ es un polinomio con coeficientes enteros.
Ejemplo 1: Consideremos la secuencia generada por $P(n) = 3n + 2,$ seguido de la secuencia generada tomando diferencias consecutivas de la secuencia original:
$$ 5, \;\; 8, \;\; 11, \;\; 14, \;\; 17, \;\; 20, \;\; 23, \;\; 26, \;\; \dots $$ $$ 3, \;\; 3, \;\; 3, \;\; 3, \;\; 3, \;\; 3, \;\; 3, \;\; \dots $$
Obsérvese que la secuencia original es generada por un $1$ grado, mientras que la secuencia de diferencias consecutivas es generada por un $0$ polinomio de grado.
Ejemplo 2: Consideremos la secuencia generada por $P(n) = n^2,$ seguida de la secuencia generada tomando diferencias consecutivas de la secuencia original, seguida de la secuencia generada tomando dos veces -diferencias consecutivas de la secuencia original:
$$ 1, \;\; 4, \;\; 9, \;\; 16, \;\; 25, \;\; 36, \;\; 49, \;\; 64, \;\; \dots $$ $$ 3, \;\; 5, \;\; 7, \;\; 9, \;\; 11, \;\; 13, \;\; 15, \;\; \dots $$ $$ 2, \;\; 2, \;\; 2, \;\; 2, \;\; 2, \;\; 2, \;\; \dots $$
Obsérvese que la secuencia original es generada por un $2$ ndo grado, la secuencia de diferencias consecutivas es generada por un $1$ de grado, y la secuencia de diferencias dos veces consecutivas es generada por un $0$ polinomio de grado.
En general, si se parte de una secuencia generada por un polinomio de grado $N$ con coeficientes enteros, entonces la secuencia generada por diferencias consecutivas es generada por un polinomio de grado $N-1$ con coeficientes enteros, la secuencia generada por diferencias dos veces consecutivas es generada por un polinomio de grado $N-2$ con coeficientes enteros, etc.
¿Qué tiene que ver esto con la diferenciación? El proceso anterior de tomar diferencias consecutivas es esencialmente el de tomar un cociente de diferencias donde la función es el polinomio que genera la secuencia original y $h=1.$ Más concretamente, la secuencia de diferencias consecutivas está generada por el polinomio $\frac{P(n+1) - P(n)}{1}.$ No, esto no es una prueba de lo que preguntas, pero es ciertamente sugestivo de que se puede esperar que la diferenciación baje el grado de un polinomio en uno.