Sea formula_2 el menor valor propio; este es