[spec] properties of definite integrals