Với ký hiệu của bài tập 2 và cùng giả thiết về [x.y], giả sử rằng mỗi hàm gk khả vi n lần trên I; với mỗi hàm f khả vi n lần trên I, có các giá trị trong F, đặt
[g0.f]−[g1.f]′+[g2.f]′′+⋯+(−1)n[gn.f](n)=[h0.f]+[h1.f′]+⋯+[hn.f(n)],
điều này xác định các hàm hi (0≤i≤n) một cách không nhập nhằng (bài tập 2); chứng minh rằng ta có
[h0.f]−[h.f]′+[h2.f]′′+⋯+(−1)n[hn.f](n)=[g0.f]+[g1.f′]+⋯+[gn.f(n)]
một cách đồng nhất.