Supongamos que formula_4, entonces formula_5.