Topology of the Smooth Product Manifold