Imaginemos que la función formula_13 es una constante de movimiento.