Finite Generation of Sections over a Compact Smooth Manifold