SET® Mathematics
Proof of Theorem 1.2

(an * bn) cnan * (bn * cn)

3(2 * 1) = (3 * 2) * 1
3 * 3 = 1 * 1
31