Лемма о первообразных

Если F₁(x) и F₂(x) – две первообразные для функции f(x) в некотором промежутке, то разность между ними в этом промежутке равна постоянному числу.

Из этой теоремы следует, что если известна какая-нибудь первообразная F(x) данной функции f(x), то всё множество первообразных для f(x) можно записать в виде F(x)+C.

Выражение F(x)+C, где F(x) – первообразная функции f(x) и С – произвольная постоянная, называется неопределённым интегралом от функции f(x) и обозначается символом , причём f(x) называется подынтегральной функцией, f(x)dx – подынтегральным выражением,