4.formula_141, formula_142 formula_143 se cumple: