Sea f la función que envía formula_4 en formula_5.