La constante formula_54 se escoge de tal forma que formula_288.