(a menudo se requiere que el espacio base formula_8 sea un