39.2 베이즈 정리의 형식적 진술과 수학적 유도