Jabarkan Sehingga kita dapatkan: dari Teorema dasar kalkulus

Misalkan f adalah fungsi bernilai real yang didefinisikan pada sebuah interval tertutup [a, b]. Misalkan juga F adalah sebuah fungsi yang untuk semua x pada [a, b],

Maka untuk semua x pada [a, b],