TeX source:
P(A∩C)=0