O quadrado da reta de Sorgenfrey satisfaz $T_0$
Por
satisfazer $T_1$
e todo $T_1$ satisfazer $T_0$, $\mathbb R_S \times \mathbb R_S$ satisfaz $T_0$.