Ciertamente formula_25, de manera que la última relación se puede escribir en la forma