上で述べた積分汎函数 "i" は、次数 "n" 以下の多項式全体の成す "c"["a", "b"]の部分空間 "p""n" 上の線型汎函数を定める。"x"0, …, "x""n" が["a", "b"]の相異なる "n" +1個の点ならば、"p""n" の任意の元 "f" に対して