Cartesian Product is Anticommutative

Theorem
Let $$S, T \ne \varnothing$$. Then $$S \times T = T \times S \Longrightarrow S = T$$.

Proof
Suppose $$S \times T = T \times S$$.

Thus it can be seen that $$S \times T = T \times S \Longrightarrow S = T$$.

Note that if $$S = \varnothing$$ or $$T = \varnothing$$ then, from Cartesian Product Null, $$S \times T = T \times S = \varnothing$$ whatever $$S$$ and $$T$$ are, and the result does not hold.