formula_25 ; es decir :