从条件概率定义证明贝叶斯定理。