Интегральное исчисление функции одной переменной (неопределенный интеграл). Гулидов A.И - 10 стр.

   3. Неопределённый интеграл от дифференциала некоторой функции
равен этой функции с точностью до произвольной постоянной, т.е.

                          [       ]
                        ∫ ∂ F (x ) = F (x ) + C
   Справедливость этого важного равенства легко проверить с ис-
пользованием первого свойства, продифференцировав правую и левую
части равенства.


что требовалось доказать.
   Заметим, что при нахождении интегралов используется таблица
интегралов, которая может быть получена для основных элементарных
функций из таблицы производных.
     § 2. Таблица основных неопределенных интегралов




                              9