Esto resulta al suponer que formula_5, entonces formula_6, lo cual es absurdo.