Konstanta integrasi

Untuk membuktikannya, perhatikan bahwa formula_24, maka "F" dapat diganti dengan "F"-"G" dan "G" dengan fungsi konstanta 0, sehingga menjadikan tujuan untuk membuktikan bahwa suatu fungsi yang dapat dibedakan di mana saja, yang turunannya selalu nol harus konstan: