Properties of definite integrals in integration