Puesto que "a" es inversible, la función formula_21 dada por formula_22 es una biyección.