Comenzamos suponiendo que formula_7, por tanto formula_8