9.4 Baye’s theorem