Tarte itxiko funtzio jarraitu batek muturretako balioak berdinak baditu, tarte barruan deribatu nuluko balioren bat badela frogatzen duen teorema, mutur erlatiboak aurkitzeko baliatzen dena.