Hilbert Basis Theorem for Finite Polynomial Rings