結果 : state and prove total probability and bayes theorem