https://9lib.org/document/q2n09d72-some-fixed-point-theorems-for.html