사전

が存在する。 この定理は、c の位置を具体的に特定する定理ではなく、また、c は1つとは限らない。条件を満たす c が1個以上存在するということを保証する存在定理である。 ロルの定理は後にラグランジュやコーシーによって示される微分法における平均値の定理の特殊な場合であり、また、平均値の定理などの証明にも使われる基本的な定理である。