Công thức xác suất toàn phần. Công thức Bayes