Rumus tertutup suatu barisan berupa polinomial berderajat \(k\) jika dan hanya jika barisan itu \(\Delta^k\)-konstan (yakni, barisan selisih ke-\(k\)-nya konstan dan tak nol).