Định lí. Mọi hàm số liên tục trên K đều có nguyên hàm trên K
Ví dụ.
F(x)=∫π2dx=π2x+C .
Do hàm số y=(x−1)12 luôn liên tục trên tập xác định nên nó có nguyên hàm trên tập xác định, tức trên tập (1;+∞).
Nguyên hàm không có tính chất nguyên hàm của tích bằng tích các nguyên hàm.
Theo lý thuyết nguyên hàm:
Hàm số F(x) là một nguyên hàm của hàm số f(x) trên khoảng K khi và chỉ khi F′(x)=f(x),∀x∈K .