同じように、乗法公式とわざわざ名前の付けられている

P(A ∩ B) = P(A) * P_A(B)

という式には何のありがたみもありません。