Notemos que la correspondencia formula_5 es una