Intersection is Commutative

Theorem
Set intersection is commutative:


 * $$S \cap T = T \cap S$$

Proof
$$ $$ $$ $$