La función que haría la correspondencia sería formula_6 definida como: formula_7