TeX source:
P(B∩C)=0