Definite integral rules