Let  n\in\{0,1,2\} en X_i is a T_n-space for each i.
I want to proof that the product of the X_i's is also a T_n space.

And if X_i\neq\emptyset for all  i then the reverse implication is true.

Thanks