para ser el operador formula_64 definido por