donde la operación formula_25 se define como