Category:Direct Product of Topological Vector Spaces is Hausdorff iff Hausdorff Factor Spaces