donde formula_137 se define como