Category:Subspace of Product Space is Homeomorphic to Factor Space