Sea una función formula_16 derivable a trozos y que formula_17 Entonces :