es claramente biyectiva, luego formula_64.