Primero recordemos que formula_16, y consideremos