SET® Mathematics
Proof of Theorem 1.1

an * b n = b n * an
two cases: an = bn, anbn

Case 1:
an = bn
1*1 = 1*1
1 = 1

Case 2:
anbn
1*2 = 2*1
3 = 3

Note: this just shows that any two cards make a third, regardless of order