Observemos que formula_12 esta en formula_13, ssi, formula_14, ssi, formula_15, ssi, formula_16.