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