lautet:

Es seien \(\underset{n=1}{\overset{\infty }{\mathop \sum }}\,{{a}_{n}}\)an eine konvergente Reihe aus nichtnegativen Summanden, M ein vollständiger metrischer Raum mit der Metrik d, X eine nicht leere abgeschlossene Teilmenge von M und T : X → X eine Abbildung mit der Eigenschaft

\begin{eqnarray}d({{T}^{n}}(x),{{T}^{n}}(y))\le {{a}_{n}}\cdot d(x,y)\end{eqnarray}

Dann besitzt T genau einen Fixpunkt \(\bar{x}\)in X, dieser Fixpunkt ist Grenzwert der Iterationsfolge Tⁿ(x₀) bei einem beliebigen Startpunkt x₀, und es gilt die Abschätzung

\begin{eqnarray}d(\overline{x},{{T}^{n}}({{x}_{0}}))\le \left( \sum\limits_{i=n}^{\infty }{{{a}_{i}}} \right)\cdot d(T({{x}_{0}}),{{x}_{0}})\cdot \end{eqnarray}