Source: http://math.colorado.edu/~kstange/has-inverse-is-bijective.pdf