Bayes' theorem
这个引理有时称作概率乘法规则。上式兩邊同除以P("B")，若P("B")是非零的，我們可以得到贝叶斯定理: