formula_48 por lo que formula_48 es una biyección, lo que