TeX source:

(A\cap B)\cap C=A\cap(B\cap C)