Los cómputos anteriores muestran que para todo formula_166 se cumple que formula_167.