Belo teorema!

Toda função que "aproxima" pontos na sua imagem, tem um ponto fixo.

http://en.wikipedia.org/wiki/Banach_fixed-point_theorem