Hemos demostrado que formula_20.