Usando esa definición, tendremos, por ejemplo, que formula_8.