Si escribimos formula_12 entonces, a partir de la hipótesis se concluye que formula_13