Finite Topological Product of Compact Spaces