Category:Product Space is T3 iff Factor Spaces are T3