Además, no es difícil ver que formula_11.