贝叶斯定理
其中 formula_16 是 formula_12 的domain，这是贝叶斯定理的直接应用。