A contractive function from a complete metric space to itself has exactly one fixed point.
No download links available.