tenemos que formula_6 Claramente, f es biyectiva, por lo que los grupos son