Lo que es equivalente a afirmar que formula_167, o sea que formula_168.