En el ejemplo se puede ver que es lo mismo afirmar formula_4 y formula_5.