Si además, g’(x) existe para todo x ε[a, b], y |g’(x)| ≤ K < 1 para todo x ε[a, b], K constante, entonces g tiene un único punto fijo x ε[a, b].