formula_9, se define como sigue: