Если F (х) есть первообразная для f (x), a k и b — постоянные, причем k≠0, то есть первообразная для f (kx+b). Если F есть первообразная для f, a k — постоянная, то функция kF — первообразная для kf. Если F есть первообразная для f, a G — первообразная для g, то F+G есть первообразная для f+g.
Если F есть первообразная для f, a k — постоянная, то функция kF — первообразная для kf.
Если F есть первообразная для f, a G — первообразная для g, то F+G есть первообразная для f+g.