https://9lib.org/document/y96rj75j-fixed-theorem-archimedean-menger-space-weakly-compatible-weakly.html