(c) Si formula_15, formula_16, es fácil ver que formula_17.