https://en.wikipedia.org/wiki/Fixed-point_theorem