formula_6 Puedo definir simultánente formula_7 y formula_8