4.7.2 贝叶斯公式