Análogamente, obtenemos que formula_223.