Esto se puede verificar fácilmente por el hecho de que formula_5 y formula_6, así como formula_7 y formula_8.