Cho t↦A(t) là một ánh xạ điều chỉnh từ J vào L(E) sao cho, với mọi hai điểm s, t của J, A(s) và A(t) giao hoán. Đặt B(t)=∫t0tA(s)ds. Chứng minh rằng toán tử giải C(t,t0) của phương trình dx/dt=A(t).x bằng exp(B(t)).
Nếu t↦A1(t),t↦A2(t) là hai hàm điều chỉnh từ J vào L(E) sao cho, với mọi hai điểm s, t của J, A1(s),A1(t),A2(s),A2(t) giao hoán từng đôi một, chứng minh rằng
exp(∫t0t(A1(s)+A2(s))ds)=exp(∫t0tA1(s)ds)exp(∫t0tA2(s)ds).