https://9lib.net/document/zlgv42el-maps-that-preserve-left-right-k-cauchy-sequences.html