Jabarkan Integral tentu dari Integral substitusi

Misalkan  menjadikan fungsi yang dapat dibedakan dengan turunan kontinu, darimana  adalah sebuah interval. Seandainya nilai pada  adalah fungsi berkelanjutan. Kemudian, apakah

Dalam notasi Leibniz, substitusi pada  menghasilkan nilai

Bekerja secara heuristik dengan infinitesimal, menghasilkan persamaan

Hasil rumus substitusi di atas. (Persamaan ini dapat diletakkan di atas dasar yang kuat dengan menafsirkannya sebagai pernyataan tentang bentuk diferensial.)  Seseorang dapat melihat metode integrasi dengan substitusi sebagai justifikasi parsial pada notasi Leibniz untuk integral dan turunan.