Finite-Dimensionality of De Rham Cohomology of a Compact Manifold