Subspace of Product Space is Homeomorphic to Factor Space/Product with Singleton/Proof 1

Proof
From Finite Cartesian Product of Non-Empty Sets is Non-Empty both $T_1 \times T_2$ and $T_2 \times T_1$ are both non-empty.

The conclusions follow immediately from Subspace of Product Space is Homeomorphic to Factor Space.