Apply general multiplication rule (#750)

Apply general multiplication rule (#750)

Use P(A∩B)=P(A)P(B∣A)P(A \cap B) = P(A)P(B|A).