If f:M_1\mapsto M_2 is a quasi-isometry, then there exists a quasi-isometry g:M_2\mapsto M_1. Indeed, g(x) may be defined by letting y be any point in the image of f that is within distance C of x, and letting g(x) be any point in f^{-1}(y).
