Demosracón: Si formula_166, entonces formula_167, puesto que formula_164, se tiene formula_169, luego formula_170, y así formula_165.