Cho f(X) là một đa thức bậc n với các hệ số phức, và cho
f(X)1=j=1∑qh=1∑nj(X−rj)hλjh
là phân tích của phân thức hữu tỉ 1/f(X) thành các phần tử đơn (Alg., VII. 7, n 2). Chứng minh rằng, với mọi hàm điều chỉnh b, hàm
t↦j=1∑qh=1∑njλjh∫t0t(h−1)!(t−s)h−1elj(t−s)b(s)ds
là một nghiệm tích phân của phương trình f(D)x=b(t).