TeX source:
P(A|B)P(B)=P(A\cap B)