Este teorema no se basa en las propiedades topológicas del dominio de definición, sino sobre el hecho de que la función estudiada es "contractante".