Afaict surjectivity was already a given before this paper, their contribution is the injectivity part (and thus invertibility)