A fancy way to prove a function f : X --> Y is bijective is to define a function g : Y --> X and verify that f composed with g and g composed with f are the respective identity maps. (Then f is invertible with inverse g.)