Properties of the Definite Integral