Category:Product Space is Completely Hausdorff iff Factor Spaces are Completely Hausdorff