Es consecuencia del hecho formula_180, puesto que formula_181, y esto implica formula_182.