これは下降階乗冪の線型結合同士の積が再び下降階乗冪の線型結合となることを意味し、それは以下を確かめれば十分である:xm_xn_=∑k=0m(mk)(nk)k!
因为递降阶乘是多项式环的基础，我们可以将递降阶乘的积表示为递降阶乘的线性组合：xm_xn_=∑k=0m(mk)(nk)k!