https://9lib.net/document/9ynvd6kz-view-fixed-point-results-completesoftusual-metricspace.html