Not all sequences will have polynomials as their closed formula. We can use the theory of finite differences to identify these.