結果 : state and prove conditional probability theorem