Antiderivative and derivative. This formula is a special case of formula of Newton-Leibniz. It allows to connect two major transactions of the mathematical analysis - differentiation and integration.