Supongamos que formula_10, entonces formula_11