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