que como función es claramente biyectiva, por lo que es un isomorfismo