Este es uno de los primeros ejemplos, aunque no el primero, de demostración a través de una función biyectiva.