项式定理。就任意"formula_8"，多项式formula_115可看成是惟一的"formula_8"次多项式formula_117满足formula_118及formula_119.其系数可以第一类斯特灵数表示，即：formula_115之导数可以对数微分计算：
以二项式系数为多项式空间之基底.在任何包含Q的域中，最多formula_123阶的多项式有惟一的线性组合formula_124。系数formula_125是数列formula_126的第"k"差分，亦即：