Por último, si formula_167 y formula_168, entonces formula_169 y formula_170.