Bayes' theorem
2番目の変形はベイズの定理による。