Jabarkan Juga,  dan dari Teorema dasar kalkulus

Substitusikan ke (3), kita dapatkan

Fungsi f kontinu pada c, sehingga limit dapat diambil di dalam fungsi. Oleh karena itu, kita dapatkan

Bagian ini kadang-kadang dirujuk sebagai teorema dasar kalkulus kedua atau aksioma Newton–Leibniz.

Misalkan f adalah sebuah fungsi bernilai real yang kontinu, didefinisikan pada interval tertutup [a, b]. Misalkan juga F adalah antiturunan dari f, yakni salah satu dari fungsi-fungsi yang tak terhingga banyaknya yang untuk semua x pada [a, b],