Обсуждается процедура "анти-дифференцирования" (обратная дифференцированию функции) и вводится понятие антипроизводной. На основании теоремы о среднем значении показывается, что для данной функции существует бесконечное число антипроизводных, отличающихся друг от друга на константу.