Dado que formula_5 , también vale la relación: