Konstanta integrasi

Hasil ini dapat dinyatakan secara formal dengan cara: misalkan formula_20 dan formula_21 adalah dua fungsi yang dapat dibedakan di mana saja. Seandainya ada formula_22 untuk setiap bilangan real "x", maka akan ada suatu bilangan real "C" sedemikian sehingga formula_23 untuk setiap bilangan real "x".