La función auxiliar formula_5 satisface la ecuación: