Beispielsweise eine Liste über einem beliebigen Typen, deren Elemente ebendiesen Typ haben, ist entweder die leere Liste oder eine nicht-leere Liste mit einem ersten Element und einem Restglied, dargestellt durch.
Sie zerlegt Werte differenzierbarer Funktionen in zwei Summanden: erstens den Wert der Tangentenfunktion der Ausgangsfunktion bezüglich eines Punktes des Definitionsbereiches und zweitens das Restglied beziehungsweise den Fehler der linearen Approximation.
Dazu summiert man einfach diese Formel (mit explizitem Restglied), angewendet auf entsprechend viele verschobene Einheitsintervalle, die das gegebene Intervall aus genau abdecken, auf.