Notemos que cuando formula_59 es real, o sea cuando formula_60, se cumple que formula_61, por lo que se puede eliminar el subíndice formula_47, sin problemas.