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

Theorem
Let $T_1$ and $T_2$ be non-empty topological spaces.

Let $b \in T_2$.

Let $T_1 \times T_2$ be the product space of $T_1$ and $T_2$.

Let $T_2 \times T_1$ be the product space of $T_2$ and $T_1$.

Then:
 * $T_1$ is homeomorphic to the subspace $T_1 \times \left\{{b}\right\}$ of $T_1 \times T_2$
 * $T_1$ is homeomorphic to the subspace $\left\{{b}\right\} \times T_1$ of $T_2 \times T_1$