La expresión formula_13 indica que se trata de una indefinición.