En el que formula_5 es una constante, que también hay que averiguar.