根据这篇文章第一节的分析，对于任意数列\(\{a_n\}\)，存在一个线性泛函\(L\)满足\(L(z^n)=a_n\)（在这里因为没有对线性泛函\(L\)的分析，所以使用正常记号），这说明了基本的本影演算本身的严谨性.对于\(L(z^n)=a_n\)，称\(z\)是数列\(\{a_n\}\)的本影（umbra），通过\(L(z^n)\)对数