Функция называется первообразной функции , если выполняется условие: .
Теорема. Если и две первообразные одной и той же функции , то они отличаются не более, чем на константу, то есть .
Следствие. Если - одна из первообразных функции , то любая другая первообразная имеет вид .
Совокупность всех первообразных функции называется неопределенным интегралом от и обозначается , здесь называется подынтегральной функцией, а - подынтегральным выражением.
Таким образом, окончательно = .