Si g est un dérivé de Æ ', alors g et F ont le même dérivé, par la première partie du théorème, il suit le théorème de valeur moyenne qu'il y a un nombre c tel que, pour tous x dans -LRB- a, b -RRB-.
Le théorème fondamental de Calculus est un théorème qui dit, où F -LRB- x -RRB- est l'antidérivé de f -LRB- x -RRB-.